[U] ( R U R' U R U² R' · U )²
(16,18)