もし仮にとおけば、がからまで増加するとき、辺は''B''の角度に応じてからまで狭義単調増加し、辺はからまで狭義単調減少することになり、条件に矛盾する.
''B''の角度に応じて