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=2CD|BE| = 2|CD|.