theorem Th338: :: NUMBER11:338
Sum (digits (684,10)) = 18