theorem Th1250: :: NUMBER11:1250

Sum (digits (3225,10)) = 12