"that the triangle ABC is a mean proportional between the triangles abCf" . . . .