Factoring is not known to be in P. You're thinking of primality testing, specifically http://en.wikipedia.org/wiki/AKS_primality_test