Looking at the GSP sketch, it would seem as though (AF)(BD)(EC)=(FB)(CD)(AE)

Furthermore, it appears as though

return