Draw `BEbotPQand CFbotRS`
`rarr BE||CF" "` (`:. Bot s` of parallel lines ar also paallel)
and `anglex=angleb" ".....(1)`
( `:.` angle of incidence -angle of reflection)
Now, `angleb=anglex` (alternate interior angles)
`rArr 2angle2=2anglex`
`rArr angleb+angleb=anglex+anglex`
`rArr anglea+angleb=anglexangley`
`rArr angleABC=angleDCB " "` [from (1) and (2)]
`rArr AB||CD` (`:.` alternate interior angles axiom)