for M, N being Cardinal st M,N are_equipotent holds
M = N