theorem Th938: :: NUMBER11:938

Sum (digits (207,10)) = 9