Rename [tt-000C]

因為我們右手邊的 term 是一個 rigid form $B$ ，因此 map 是

B -> 1

用第二個 map 去改寫右手邊 term $B$ 的內容，這樣我們就得到 $\fbox{?} = 1$