Let AB, CD be two line segments such that AB || CD and AD || BC. Let E be the midpoint of BC and let DE extended meet AB in F. Prove that AB = BF.