`sqrt(x^(-1 y) . sqrt(y^(-1) z . sqrt(z^(-1) x` `= sqrt(x/y) . sqrt(z/y) . sqrt(x/z)` `= sqrt(y)/sqrt(x) xx sqrt(z)/sqrt(y) xx sqrt(x)/sqrt(z)` `= 1`