TRANSITIVE PROPERTY OF PARALLEL LINES