theorem Th1256: :: NUMBER11:1256

Sum (digits (3325,10)) = 13