Auxiliary Statements and Proofs of Technical Lemmas