theorem Th1046: :: NUMBER11:1046
Sum (digits (1679,10)) = 23