theorem Th1232: :: NUMBER11:1232

Sum (digits (2925,10)) = 18