Si, por el contrario, es compuesto, entonces existirá algún factor "p" que divida a "q".