Added Ceva's theorem and Menelaus's theorem.