theorem Th1340: :: NUMBER11:1340

Sum (digits (4525,10)) = 16