但し、"x"1&lt; "x"2&lt; … &lt; "xn"とする。