在上一步中得到的反映射是 B↦1B \mapsto 1B↦1 用這個映射去改寫右手邊 term BBB 的內容，就得到等式 ?=?1\fbox{?} \stackrel{?}{=} 1?=?1 ，而解則是 ?=1\fbox{?} = 1?=1 。