let mathd-numbertheory-335 = `!n:num.
    (n MOD 7 = 5)
==>
    ((5 * n) MOD 7 = 4)
`;;