Legyen az ABCD négyzet csúcsain átmenő kör kisebbik AD ívének egy pontja P, a PC és AD egyenesek metszéspontja E, a PD és AB egyeneseké F.Igazoljuk, hogy