Fälttävlansadlar; Theoreme