El teorema es significativamente fácil de probar por medio de su segunda declaración mencionada anteriormente, siendo: