MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

If $p_1$, $p_2$, ..., $p_m$ are polynomials in $n$ variables, with $m>n$, then there is a polynomial $q$ such that $q(p_1, p_2, \ldots, p_m)$ is identically zero.