theorem Th92: :: FINSEQ_1:93

for A being finite set holds len (canFS A) = card A