At 4:43 of the following video Khan from Khan Academy states that there is no proof that two parallel lines crossed by a transversal line have the same angle. Rather it's to be taken on "intuition".
https://www.youtube.com/watch?v=H-E5rlpCVu4&list=PL26812DF9846578C3&index=12
That is interesting - surely there must be a proof for this rather obvious result, or otherwise it must be an axiom taken on faith? I haven't seen euclidean geometry having such an axiom. To make matters worse, it seems that almost all interesting results of geometry are dependent on this result.
Picture of the problem:
The task is to demonstrate that the angles marked by alpha are indeed the same, no matter what the bottom angle is.

