Властивості паралельних прямих. Прямокутний трикутник