theorem Th1214: :: NUMBER11:1214

Sum (digits (2625,10)) = 15