Is this a valid decription of the successor function? Incidentally, if you have three hours to spare on some casual Lambda Calculus introduction, I always thin

Is this a valid decription of the successor function? Incidentally, if you have three hours to spare on some casual Lambda Calculus introduction, I always think [1] is a fun watch. [1] https://youtube.com/watch?v=5C6sv7-eTKg https://youtube.com/watch?v=5C6sv7-eTKg