theorem Th861: :: NUMBER11:861

Sum (digits (1694,10)) = 20