theorem Th1032: :: NUMBER11:1032

Sum (digits (1495,10)) = 19