theorem Th711: :: NUMBER11:711

Sum (digits (3820,10)) = 13