theorem Th56: :: BORSUK_6:56

(IAA \/ IBB) \/ ICC = [:[.0,1.],[.0,1.]:]