Do you know what the fourth Sophie Germain prime is?
Do you know how many vertices there are in a Grötzsch graph?
