theorem Th853: :: NUMBER11:853

Sum (digits (1606,10)) = 13