replaced with the pdf file: Ceva's theorem