let mathd-numbertheory-109 = `!v:num->num. (!n. v n = 2 * n - 1) ==> (nsum (1..(101-1)) v) MOD 7 = 4`;;