>>609
ないなら正しさをどう証明する?