>>296
BNと垂線の交点をG
CMと垂線の交点をH
とした時にGN=HMはBN=CMから自動的に証明されるのでしょうか?