rewrote a bit, didn't really achieve anything.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
worked a little more on the gcd termination lemma.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>