定式化と証明をきっちり書いた和書は?