let mathd-numbertheory-3 = `(nsum (0..(10-1)) (\x. (x + 1) EXP 2)) MOD 10 = 5`;;