theorem Th318: :: NUMBER11:318

Sum (digits (494,10)) = 17