Ist 493 eine Primzahl?