The reduction rule for lambda terms is:
( ( λ <variable> . <bodyexpression> ) <argumentexpression> )
[ <variable> → <argumentexpression> ] <bodyexpression>