theorem Th1236: :: NUMBER11:1236

Sum (digits (2975,10)) = 23