X | 2^k | 2^k mod M | X | X mod 2^j 1 — = ( |——————| + ———————— ) × ( |—————| + ———————— ) × ————— M |_ M _| M |_ 2^j_| 2^j 2^{k - j}