theorem Th12: :: CARDFIN2:12

for x being object holds derangements {x} = {}