Nalezení 40. Mersennova prvočísla, o kterém jsme zprávičkovali před časem, potvrzeno! (upozornil Tomáš Oberhuber)