>>142
ということは、証明は「完全に正しい」とは言い切れないということですやんw