proof 環境を使うためには amsthm パッケージを使わないといけないんでしたっけ？
使ってるんだけどな．なんでエラーが出るんだろ？不思議．