Description: Condition for a prime dividing a square. (Contributed by Scott Fenton, 8-Apr-2014) (Revised by Mario Carneiro, 19-Apr-2014) (Proof shortened by SN, 21-Aug-2024)