次の3つの変形を適用していく:
このとき、可能な解は!!,!,id,−!!,−!,−!!, !, \operatorname{id}, -!!, -!, -!!,!,id,−!!,−!,−の6つしかないことがわかる。