theorem Th411: :: NUMBER11:411

Sum (digits (820,10)) = 10