[r-t] Semi-interesting things

[Robin Woolley]

For those attempting PABS proof of the values of K in

R^n = K.H^(mn).K^-1

it might be useful to remark first that, if X = SJ.H^n, then X^(-1) =
H^(-n).SJ (to aid understanding of the R^2 = ... = H^5.SJH^6.SJH^2 line.)
This result again due to the self-inverse ppty of SJ

Then again, it might not.

Best wishes
Robin.