(1-pm-1)⁢Bmm≡(1-pn-1)⁢Bnn(modpℓ+1),