Question 216014
In a formal proof, the first statement is ALWAYS the given.