Parallel lines cut by transversal interior alt. angles equal