RE: Ceva's theorem