Ésto se resume en el siguiente teorema: