β-reduction

lambda

$(\lambda .M)N\to M[x:=1]$