let mathd-numbertheory-32 = `FINITE {n | n divides 36} ==> nsum {n | n divides 36} (\k. k) = 91`;;