theorem Th11: :: CARDFIN2:11

derangements {} = {{}}