theorem Th721: :: NUMBER11:721

Sum (digits (3920,10)) = 14