R2 , U L' U'
#pure inverse : U L' U' , R2
諏訪湖: "[D : R2 , U L' U']