Square Root Primality Criterion