Let !n = 0! + 1! + ... + n! = A003422(n) For integer k, is it true that !a == k (mod a) and !b == k (mod b) together imply !c == k (mod c) where c = lcm(a, b) ?