Def/Prime factorization