Discovering, Applying, and Extending Ceva’s Theorem