theorem Th779: :: NUMBER11:779

Sum (digits (682,10)) = 16