theorem Th72: :: BORSUK_6:72

IAA /\ ICC = {[(1 / 2),0]}