RE: Menelaus: an unnecessary requirement in a proof?