Re: Discrete Maths Sem 2 2016
Thing with the Bezout lemma is that it's a one-way implication.
The reverse way doesn't imply "equals", it implies "divides" (check the notes)
So yeah I was thinking about the need to write the proof backwards to prove that they both divide each other, and hence...