Cardinales de ordinales finitos

Demostrar que |n|=|m| implica n=m para n,m pertenecientes a omega, donde |X| significa el cardinal de X. Gracias de antemano.