lemma—a proven statement used as a stepping stone to prove a larger theorem