start mixal post
finish gcd proof