let mathd-numbertheory-127 = `(nsum (0..(101-1)) (\k. 2 EXP k)) MOD 7 = 3`;;