theorem Th1230: :: NUMBER11:1230

Sum (digits (2875,10)) = 22