Some statements about abstract entities (e.g., 'there are infinitely many primes') resist paraphrase...
This proposition has not been edited since the history system was added.