形式的証明する奴いる?