>>534
>>533は、基礎論の人の話だからな。

>>535
こういうのは、厳密に示すのが普通。
高校レベルの解法になったら、どこまで仮定してよいのか分からんだろ。