A single prime factor of n already constitutes a polynomial-length certificate for compositeness; th...
This proposition has not been edited since the history system was added.