es un teorema.