theorem Th831: :: NUMBER11:831

Sum (digits (1342,10)) = 10