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