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