Using the lambda expressions

zero $=($lambda f $($lambda x x$))$

one $=($lambda f $($lambda x $($f x$)))$

two $=($lambda f $($lambda x $($f $($f x$))))$

three $=($lambda f $($lambda x $($f $($f $($f x$)))))$

four $=($lambda f $($lambda x $($f $($f $($f $($f x$))))))$

five $=($lambda f $($lambda x $($f $($f $($f $($f $($f x$)))))))$

six $=($lambda f $($lambda x $($f $($f $($f $($f $($f $($f x$))))))))$

seven $=($lambda f $($lambda x $($f $($f $($f $($f $($f $($f $($f x$)))))))))$

eight $=($lambda f $($lambda x $($f $($f $($f $($f $($f $($f $($f $($f x$)))))))))))$

nine $=($lambda f $($lambda x $($f $($f $($f $($f $($f $($f $($f $($f $($f x$)))))))))))$

ten $=($lambda f $($lambda x $($f $($f $($f $($f $($f $($f $($f $($f $($f $($f x$)))))))))))))$

succ $=($lambda n $($lambda f $($lambda x $($f $(($n f$)$ x$)))))$

plus $=($lambda m $($lambda n $($lambda f $($lambda x $(($m f$)(($n f$)$ x$))))))$

mult $=($lambda m $($lambda n $($lambda f $($lambda x $(($m $($n f$))$ x$)))))$

pred $=($lambda n $($lambda f $($lambda x $((($n $($lambda g $($lambda h $($h $($g f$)))))($lambda u x$))($lambda u u$)))))$

sub $=($lambda m $($lambda n $(($n $($lambda n $($lambda f $($lambda x $((($n $($lambda g $($lambda h $($h $($g f$)))))($lambda u x$))($lambda u u$))))))$ m$)))$

pow $=($lambda b $($lambda e $($e b$))).--$make the lambda expression for $9-4$