theorem Th352: :: NUMBER11:352

Sum (digits (817,10)) = 16