Claramente, la pregunta de si un dado "x" es factorizable es equivalente a la pregunta sobre si "x" es un miembro de COMPOSITE.