The Marriage Theorem and The Frobenius–Kőnig Theorem