Li-Fan Chen
says to
YSITD
2^(2d) = m1^2 (mod n)