Inserting Extended GCD