Aunque son equivalentes, el teorema suele ser presentado de esta otra forma: