якщо выдповідні кути рівні то прямі паралельні
У властивостях паралельних прямих є така аксіома
Відповідні кути рівні при паралельних основах