排中律を定理として証明してる奴が不思議でならない