Fixing notation when discussing gcd.

Shit I mixed my variables with knuth's one
Minor changes, like fixing conflicting names and file permissions.