The Menelaus Theorem: Discovery