Ceva's_theorem loading ...