The Solovay-Strassen primality test checks $a^{(n-1)/2} \equiv \left( \frac{a}{n} \right) \pmod n$. For which type of numbers is this identity always true?