fn pow2523(a: Fe) Fe
Return a^((p-5)/8) = a^(2^252-3) Used to compute square roots since we have p=5 (mod 8); see Cohen and Frey.
a: Fe,