'0<b-a =< n/2인 두 실수 a,b가 존재한다.'의 부정은 뭔가요?