Criterion for Unique Factorization in Quadratic Orders | Synapse