theorem Th463: :: NUMBER11:463

Sum (digits (1340,10)) = 8