euclids algorithm proof 679542