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