(U²) F'a R' F R' F' R² Fa
(9)