theorem :: FINSEQ_1:94

for a being object holds canFS {a} = <*a*>