先锁定支持集，再谈窗口可达性

证明“窗口内交换”前必须先明确交换两位置都在窗口内，否则距离条件会多放行一格。