The hypotenuse used in Theorem 18's RHS step is—

• a$AE$
• b$CF$
• c$OA$ (or $OC$), the radius
• d$EF$