for A, B being set st A c= B & B is finite holds
A is finite ;