En una formulación más actualizada el teorema se podría formular como: