Fix for church numeral

without (+1)