On a congruence prime criterion for cusp forms on GL2 over number fields | Synapse