Lambda Calculus Evaluate: First Reduce expression and then substitute?

Question

I am starting learning haskell and today in my class our teacher has resolved an excercise which we have to subtitute the expressions given. One of those expressions which was r