U , R D R'
#pure inverse : R D R' , U
すせ: "[R D' : U , R D R']
長谷川: "[R : U , R D R']