theorem Th705: :: NUMBER11:705
Sum (digits (3760,10)) = 16