theorem Th74: :: NUMBER11:74

Sum (digits (121,10)) = 4