Updated Proof that GAK is uniquely reversible (markdown)
Created Proof that GAK is uniquely reversible (markdown)