>>525
わかってないね

”simplification”という手法は重要だが
しかし、数学証明の厳密な議論には
なじまない
という 原理原則を言っているんだよ