基本的には公式証明から実習まで短時間で多くの内容を圧縮してよく説明してくれたようです。