https://9dok.net/document/q7w4d71r-prove-that-gcd-am-an.html