How can a factoring problem be checked?