theorem Th982: :: NUMBER11:982

Sum (digits (828,10)) = 18