Statement that does not have much intrinsic interest but helps prove a theorem. Not the main theorem but are nonetheless essential in proving the main theorem.
Statement that does not have much intrinsic interest but helps prove a theorem. Not the main theorem but are nonetheless essential in proving the main theorem.