Redirecting to Marriage theorem