>>135
証言の定理とも言うのでは?