The claim conflates worst-case encoding with necessity; a compact representation (exponent-prime pai...
This proposition has not been edited since the history system was added.