>>871
証明し切れねえんなら普通は結論を変えるんだよ