for x, y being Element of [.0,1.] st x * y = x + y holds
x = 0