Из точки Е, взятой на стороне ВС прямоугольника АВСD, опущен перпендикуляр ЕF на сторонуАD. Докажи, что АВЕF является прямоугольником.