5sm.json
https://arbital.com/p/5sm
by Edwin Evans Aug 6 2016
How does this prove that P isn't divisible by any non-prime number? This could be clearer.