theorem Th1262: :: NUMBER11:1262

Sum (digits (3425,10)) = 14