theorem Th24: :: COUSIN2:27

for X, Y being set st Y c= X holds
chi (X,Y) = chi (Y,Y)