One of the same side angles of two parallel lines is three times the other angle