nx<m は m-1≦nx<m の右側。 m≦nx+1 は m-1≦nx<m の左側。