theorem :: TURING_1:29

SumTuring computes [+]