如图,AD平行BC,且AD=BC,AE垂直AD,AB垂直AF,且AF=AB,AE=AD.求证:AC=EF