:: TOPMETR3 semantic presentation
theorem Th1: :: TOPMETR3:1
theorem Th2: :: TOPMETR3:2
theorem Th3: :: TOPMETR3:3
theorem Th4: :: TOPMETR3:4
theorem :: TOPMETR3:5
canceled;
theorem Th6: :: TOPMETR3:6
theorem Th7: :: TOPMETR3:7
theorem Th8: :: TOPMETR3:8
theorem Th9: :: TOPMETR3:9
theorem Th10: :: TOPMETR3:10
theorem :: TOPMETR3:11
theorem :: TOPMETR3:12
theorem :: TOPMETR3:13
canceled;
theorem :: TOPMETR3:14
canceled;
theorem Th15: :: TOPMETR3:15
theorem Th16: :: TOPMETR3:16
theorem Th17: :: TOPMETR3:17
theorem Th18: :: TOPMETR3:18
theorem :: TOPMETR3:19