Los razonamientos anteriores prueban el siguiente teorema.