View Single Post
2012-01-30, 04:57   #3
literka

Mar 2010

3008 Posts

Quote:
 Originally Posted by Batalov Kinda makes you wonder if F7 is composite! But I guess we just have to learn to live with the fact that some things we will never know -- these proofs become increasingly complex. ^_^ But wait! Code: Let F7=2128+1=340282366920938463463374607431768211457. Let p=59649589127497217. We'll show that p is a factor of F7. 340282366920938463463374607431768211457 | 59649589127497217 - 298247945637486085 (5) | 5704689200685129054721 420344212834523784 - 417547123892480519 (7) 27970889420432656 (0) 279708894204326563 - 238598356509988868 .................... ................... ................... .................. 59649589127497217 - 59649589127497217 0 | OMG!! It divides!

Thank you for a beautiful proof. I will print it and I will hang it in my bedroom. It will always remind me how excellent science may be.