add blog lambda-calculation for natural number.