let mathd-numbertheory-458 = `!n:num.
    (n MOD 8 = 7)
==>
    (n MOD 4 = 3)
`;;