Complete the proof.
Given: Line `stackrelharr(AB)` intersects line `stackrelharr(DC)` at point `E` ; `/_AEB` and `/_DEC` are straight angles.
Prove: `/_AEC~=/_DEB`
