El número de cláusulas es O("p"("n")²).