Corollary 2.1.7. If MβN, then MβN.