FizzBuzz program using only lambda calculus

This program is quoted from

"Understanding Computation" by Tom Stuart
http://computationbook.com/

You can understand why this program works fine by reading this book.