Redirecting to Erdős–Mordell-tétel