Ist die 13 eine Primzahl?