theorem Th889: :: NUMBER11:889

Sum (digits (2046,10)) = 12