Los números primos de este tipo han sido llamados los "números primos de Mirimanoff", pero el nombre no se ha generalizado.