9.4.2 非相邻形式法