Redirecting to Menelaus' theorem