Hardy & Wrightの証明

>>663

に類するようなことを書くべきだったわけです。