theorem Th23: :: CARD_3:23

for f, g being Function st f c= g holds
disjoin f c= disjoin g