let mathd-numbertheory-185 = `!n:num. (n MOD 5 = 3) ==> (2 * n) MOD 5 = 1`;;