theorem Th1044: :: NUMBER11:1044

Sum (digits (1656,10)) = 18