Irreducibility Criteria | BMLabs | Unique Factorization Domains