Add model solution for decreasing argument (gcd).