カントが何も証明してないんだから1ビットも読む必要なし