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