図で見ると理解できるけど、これを数学的に証明するってどういう事なんだろう