Como ∠"EBF" es un ángulo recto y ∠"BEF" es la mitad de un recto, "BEF" es también un triángulo rectángulo isósceles.