theorem Th968: :: NUMBER11:968

Sum (digits (667,10)) = 19