>>436
つまり240版は証明に欠陥があるの?