theorem Th699: :: NUMBER11:699

Sum (digits (3700,10)) = 10