theorem Th1040: :: NUMBER11:1040

Sum (digits (1610,10)) = 8