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