[math-fun] odd prime query