www.cs.unc.edu/~stotts/723/Lambda/church.html
[Flolac16] some deduction on church numerals.