Check whether also gives a correct factorization.