F(k) = 0x + k // For any constant k.
F(x) = 1x + 0
F(p + q) = let a_1x + b_1 = F(p)
and a_2x + b_2 = F(q)
in (a_1 + a_2)x + (b_1 + b_2)
// Similarly for subtraction.
F(p * q) = let a_1x + b_1 = F(p)
and a_2x + b_2 = F(q) // At least one of a_1 and a_2 must be zero.
in (a_1*b_2 + a_2*b_1)x + (b_1*b_2)