for M, N being Cardinal st N is finite & not M is finite holds
( N in M & N c= M )