(lambda-2)*(lambda%2B1)%2B3