theorem Th174: :: NUMBER11:174

Sum (digits (105,10)) = 6