let mathd-numbertheory-156 = `!n:num.
    ~(n = 0)
==>
    gcd (n + 7, 2 * n + 1) <= 13
`;;