n+i\equiv_{p_i^2}0