let mathd-numbertheory-370 = `!n:num.
    (n MOD 7 = 3)
==>
    ((2 * n + 1) MOD 7 = 0)
`;;