由于魔方的对称性，只考虑逆时针交换这一种情况：R B' R F2 R' B R F2 R2 (9f)
公式Java演示如下：
[java3=200,200]
[param=scrptLanguage]SupersetENG[/param]
[param=scrpt]R B' R F2 R' B R F2 R2[/param]
[param=initScrpt]R2 F2 R' B' R F2 R' B R'[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3]
公式形式： [R2:[[R':B'],F2]]
= R2 ((R' B' R) F2 (R' B R) F2) R2
= R B' R F2 R' B R F2 R2 (9f)
解读：
此PLL三角换，即UFL->URF->UBR这个角块三循环。
1. 观察到UBR位置的角块的绿色面恰好与B面的蓝色相对，于是先做R2，将此PLL三角换转化为可以8步解决的情况，即setup步骤。
2. 然后跟踪此三个角块，使用空穴法的8步公式：[[R':B'],F2] = R' B' R F2 R' B R F2，即完成此角块三循环。由于选择以R'开头的公式，可以与前面的setup步骤合并一步。
（关于8步的角块三循环的原理，可以参看这个帖子：最少步还原技巧——角块三循环的应用）
3. 最后，做R2，即setup的逆步骤，完成公式。
因此，经过1步合并，最终的PLL三角换公式步数为9步。
Java演示：
[java3=200,200]
[param=scrptLanguage]SupersetENG[/param]
[param=scrpt]R2[/param]
[param=initScrpt]R2 F2 R' B' R F2 R' B R'[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3] [java3=200,200]
[param=scrptLanguage]SupersetENG[/param]
[param=scrpt]R' B' R F2 R' B R F2[/param]
[param=initScrpt]R2 F2 R' B' R F2 R' B R' R2[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3] [java3=200,200]
[param=scrptLanguage]SupersetENG[/param]
[param=scrpt]R2[/param]
[param=initScrpt]R2 F2 R' B' R F2 R' B R' R2 R' B' R F2 R' B R F2[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3]
附注：
还有如下的另外一种无法用8步还原的角块三循环，前一阵子和奇遇讨论过，也是9步还原的。原理也不复杂，将上述的PLL公式记为A = R B' R F2 R' B R F2 R2，那么该公式的形式为：
[R:A]
= R (R B' R F2 R' B R F2 R2) R'
= R2 B' R F2 R' B R F2 R (9f)
即：经过一步setup步骤R，将这三个角块的状态转化为可以应用上述9步PLL公式的情况，又因为PLL公式的开头和结果都是R层操作，故公式的头尾都可以合并，最终9步。
当然，还有另一种理解：
[R':[[R':B'],F2]]
= R' ((R' B' R) F2 (R' B R) F2) R
= R2 B' R F2 R' B R F2 R (9f)
也就是说，经过一步setup步骤R'，将这三个角块的状态转化为可以应用8步角块三循环公式的情况，同时合并一步，与PLL三角换公式的原理一致。
Java演示：
[java3=200,200]
[param=scrptLanguage]HarrisENG[/param]
[param=scrpt][1] R (R B' R F2 R' B R F2 R2) R'[/param]
[param=initScrpt]R R2 F2 R' B' R F2 R' B R' R'[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3] [java3=200,200]
[param=scrptLanguage]HarrisENG[/param]
[param=scrpt][2] R' (R' B' R F2 R' B R F2) R[/param]
[param=initScrpt]R R2 F2 R' B' R F2 R' B R' R'[/param]
[param=stickersFront]1,1,1,1,1,1,1,1,1[/param]
[param=stickersRight]5,5,5,5,5,5,5,5,5[/param]
[param=stickersDown]3,3,3,3,3,3,3,3,3[/param]
[param=stickersBack]4,4,4,4,4,4,4,4,4[/param]
[param=stickersLeft]2,2,2,2,2,2,2,2,2[/param]
[param=stickersUp]0,0,0,0,0,0,0,0,0[/param]
[/java3]
