Missing hypothesis in theorem.