User:Pulsarwind/sandbox

https://home.cern/about/experiments/cast

ATLAS (A Toroidal LHC ApparatuS)

Sophie Germain on Fermat
$$\text{1. if }x^p + y^p + z^p = 0\pmod{p}\text{ then } p\text{ divides } xyz \text{, and}$$ $$\text{2. } p \text{ is not a } p^{th} \text{ power residue }(\text{mod } p ).$$