b^2\equiv_pa