El triángulo CPE es isósceles por construcción; entonces los ángulos CPE y CEP son iguales; sea a su valor.
El ángulo BCA, y también el CBA, vale 2a, por ser ángulo exterior del triángulo CPE.
En el triángulo BPF el ángulo exterior AFP es la suma de los ángulos FBP y BPF 2a y a, respectivamente.
Por tanto, EFA es el triplo de AEF.