[toferc]

Originally Posted by Daffy

Great explanations.

What propriety are you using to get this ?

Mq + 1 = 1 (mod p) -> (2^q - 1) + 1 = 1 (mod p)

The defintition of Mq is

Mq = 2^q - 1.

This is just a substitution step.