Parallel Lines Congruent Segments Theorem

Interact with the following applet for a few minutes.  Be sure to change the location of each BIG point.  Be sure to move the slider at some point as well.  Then complete the activity that follows.  
The applet above suggests a very powerful, yet often unused theorem in all of geometry. See if you can rearrange the list of words below to form a conditional ("If-then") statement that states what is shown in the applet above!  [br][br][color=#0000ff]segments        one           parallel             then[br][br]every      cut        transversal    segments      lines[br][br]or       congruent      they       transversal     cut[br][br]If      congruent     off       on       more[br][br]3   on    off[br][/color]
Write a formal proof of the conditional statement (whose words you've arranged) above.  

Information: Parallel Lines Congruent Segments Theorem