Neka je ABCABC trokut s pravim kutom u vrhu CC. Neka je DD točka na stranici AC‾\overline{AC} i EE točka na dužini BD‾\overline{BD} tako da vrijedi ∡ABC=∡DAE=∡AED\measuredangle ABC = \measuredangle DAE = \measuredangle AED. Dokaži da je ∣BE∣=2∣CD∣|BE| = 2|CD|.