theorem Th14: :: INTEGRA1:16

for A being non empty set holds (chi (A,A)) | A is constant