Reduce the expression to a normal form. In the reduction, assume that you are supplied with extra rules that allow you to reduce the addition or subtraction of two natural numbers into the corresponding results.

(3 points) The Algol-like program fragment function f(x) return x+4 end function g (y) return 3-y end Cg (1)); can be written as the following lambda expression: (A f. Ag. f(g 1)) (Ar.ar 4) (Ay. 3 -y)