(This is provable using similar triangles.)
（これは相似な三角形を使って証明できる。