theorem Th10: :: FINSUB_1:10

for A, B being set st A c= B holds
Fin A c= Fin B