The Field Properties ita

F1:   unique sum and product of several numbers (1)
F2:   unique sum and product of several numbers (2)
F3:   unique solution to     x+a = b
F4:   unique solution to     x·a = b

F5:   a·0 = 0
F6:   -(-a) = a

F7:    (a)= a

F8:   -(a+b) = (-a)+(-b)

F9:    (ab) = ab

F10:   -a = (-1)·a


Converted [ in part ] by Mathematica      December 4, 2007;
Modified 12 May 2010