theorem Th22: :: DIFF_2:22

for x0, x1, x2, a, b being Real st x0,x1,x2 are_mutually_distinct holds
[!(AffineMap (a,b)),x0,x1,x2!] = 0