theorem Th685: :: NUMBER11:685
Sum (digits (3560,10)) = 14