l の展開が l →＜ △(ijk)、l →＜ △(i' jk) と１文字違いであったとすると
i →＜ △(ljk) ＞→ i' より i = i' でなければなりません。
よって１文字違いの展開は存在しません。

それでは２文字違いの展開はどうでしょうか？
(*) l →＜ △(ijk) かつ l →＜ △(i' j' k) ⇒ {i, j} = {i', j'}
が成り立つとすると
□(ijkl) かつ □(i' j' kl) ⇒ {i, j} = {i', j'}
つまり
△(jkl) ＞→ i のとき △(akl) ＞→ b ならば {a, b} = {i, j}
となります。
よって k, l を定めると組