Un número doble de Mersenne se define como: