biquadratic residue