Concurrency theorems: Ceva's theorem and Menelaus' theorem