Corollary 2.1.7. If M↠βN, then M∗→βN∗.