let mathd-numbertheory-466 = `(nsum (0..(11-1)) (\k. k)) MOD 9 = 1`;;