A minor proven statement used to prove a larger Theorem