theorem Th15: :: INTEGRA1:17

for X being non empty set
for A being non empty Subset of X holds rng (chi (A,A)) = {1}