Proof: In this proof, universal generalization was used in step 8.
証明: この証明では、普遍汎化がステップ8で使用されている。