[math-fun] Prime modulo prime