theorem :: TURING_1:32

SuccTuring computes 1 succ 1