theorem Th280: :: NUMBER11:280

Sum (digits (19,10)) = 10