式と証明
本はありません。