theorem Th22: :: TOPREAL7:22

for M, N being non empty triangle MetrStruct holds max-Prod2 (M,N) is triangle