theorem Th72: :: BORSUK_6:72
IAA /\ ICC = {[(1 / 2),0]}