Proof by contraposition, actually just expanding something

[worthy beacon]

How did they get the expansion of (2^pq)-1 to be whatever they got