theorem Th4: :: INTEGRA6:4

for A, B, C being set st A c= B & A c= C holds
(chi (B,B)) | A = (chi (C,C)) | A