theorem Th19: :: NUMBER11:19

Sum (digits (20,10)) = 2