theorem Th1026: :: NUMBER11:1026

Sum (digits (1426,10)) = 13