When was this prime number discovered?