Ceva's Theorem for a Pentagon

Reference: S.C. Chou, X.S. Gao, J. Z. Zhang, Machines Proofs in Geometry, p. 265.

See also