Corollary

If the instructor is a coach, the principal will be an ex-coach who took a winning team to the state.