theorem Th1024: :: NUMBER11:1024

Sum (digits (1403,10)) = 8