I've seen the typical proof for GCD(a, a+1) = 1.
But how do you do this for GCD(a, a-1) = 1?
a must be a positive integer throughout the proof.
For example, the GCD for 6 and 7 is 1. For every consecutive numbers paired together, this is the case because a = 2k and a+1 = 2k +1. I think I'm getting somewhere...
Another thing to note is that we cannot use P, because a or a+1 is not always a prime number.