what is the "reason" for step 1 of the proof?

A. by constradiction
B. by negation
C. by simplification
D. by substitution​