Comprobador P vs NP (Teoría de Números)