theorem Th948: :: NUMBER11:948
Sum (digits (322,10)) = 7