The proof proper [= The actual proof] will consist of establishing the following statements in sequence.