積分と証明どっちが好き?