theorem :: FINSUB_1:15

Fin {} = {{}} by Th14, ZFMISC_1:1;