How can I express the following function by a lambda term?
f(n) = T if n != 0. F if n = 0.
n stands for a Church numeral.
I know that 0 := λf.λx.x where