theorem Th21: :: TOPREAL7:21

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