defactorization