>>545
181版は誤りだったので、180版が一番正しい証明に近いということになります