証明を見直す。実行例を追加したなど。