theorem Th21: :: NUMBER11:21

Sum (digits (30,10)) = 3