Properties of two parallel lines cut by a transversal