theorem Th1: :: HAUSDORF:1

for x, y being Real st x >= 0 & max (x,y) = 0 holds
x = 0