theorem Th1042: :: NUMBER11:1042

Sum (digits (1633,10)) = 13