第1章 式と証明