theorem Th723: :: NUMBER11:723

Sum (digits (3940,10)) = 16