theorem Th29: :: NUMBER11:29

Sum (digits (70,10)) = 7