>>702
先に∠Aが鋭角のときの証明があって、その後「∠Aが直角、鈍角であるときも成り立つ」って説明されてるんじゃないの?