Use of Theorems as Lemmas