$|EC|=x$ birim ise $|CB|=x(2+\sqrt3)$ olacaktır. $x(2+\sqrt3)=2 \Rightarrow x=4-2\sqrt3$ olur ve $|DE|=4-(4-2\sqrt3)=2\sqrt3$ olur. Daha sonra $ADE$ dik üçgeninde pisagor teoreminden $|AE|=4$ bulunur.