Marriage theorem