Let D and E be points on side [AB] of a right triangle with m(C)=90∘ such that ∣AD∣=∣AC∣ and ∣BE∣=∣BC∣. Let F be the second intersection point of the circumcircles of triangles AEC and BDC. If ∣CF∣=2, what is ∣ED∣?<spanclass=′latex−bold′>(A)</span> 2<spanclass=′latex−bold′>(B)</span> 1+2<spanclass=′latex−bold′>(C)</span> 2<spanclass=′latex−bold′>(D)</span> 22<spanclass=′latex−bold′>(E)</span> None of above geometrycircumcircleincentercyclic quadrilateralangle bisector