theorem Th57: :: BORSUK_6:57

IAA /\ IBB = { p where p is Point of [:I[01],I[01]:] : p `2 = 1 - (2 * (p `1)) }