theorem Th10: :: CARDFIN2:10

for s being non empty finite set holds card (derangements s) = round (((card s) !) / number_e)