theorem Th4: :: TOPREALA:4

for a, b being object holds <*a,b*> = (1,2) --> (a,b)