นิพจน์ 7: polygon left parenthesis, "X" , left parenthesis, "X" . "x" plus 1 , "X" . "y" , right parenthesis , "X" plus left parenthesis, 1 , "f" prime left parenthesis, "a" , right parenthesis , right parenthesis , right parenthesispolygonX,X.x+1,X.y,X+1,f′a
7
นิพจน์ 8: left parenthesis, "X" . "x" plus "t" , "X" . "y" , right parenthesisX.x+t,X.y
8
นิพจน์ 9: "x" equals "a"x=a
9
นิพจน์ 10: left parenthesis, "X" . "x" plus 1 , "X" . "y" plus "t" "f" prime left parenthesis, "a" , right parenthesis , right parenthesisX.x+1,X.y+tf′a
10
นิพจน์ 11: left parenthesis, "X" . "x" , "t" "f" prime left parenthesis, "a" , right parenthesis , right parenthesisX.x,tf′a
11
นิพจน์ 12: "a" Subscript, "s" , Baseline equals "f" prime left parenthesis, "a" , right parenthesisas=f′a
12
นิพจน์ 13: left parenthesis, "X" . "x" plus 1 , "X" . "y" plus 1 half "f" prime left parenthesis, "a" , right parenthesis , right parenthesisX.x+1,X.y+12f′a
