>>851
間違ってるもの、
否定されるべきものを
理解する必要はありますか?

>>852
証明も何も拡張したら
>>820になるというだけです。
>>820で証明は終わりです。