theorem Th1051: :: NUMBER11:1051

Sum (digits (312,10)) = 6