Usa il teorema di sostituzione.