Implemented square roots for p === 5 mod 8.