for x, y being Element of REAL holds
( not * (x,y) = 0 or x = 0 or y = 0 )