Эта теорема о параллельных прямых. Смотри также Теорема Фалеса об угле, опирающемся на диаметр окружности
Теорема Фалеса — теорема планиметриио параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том, что вписанный угол, опирающийся надиаметр окружности, является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла.