いろんな証明
本はありません。