Sabe-se que 2x2 – 2 = 128, então: