Menelaus' theorem