Properties of angles formed by parallel lines and a transversal