theorem Th1252: :: NUMBER11:1252

Sum (digits (3250,10)) = 10