factor prod(k=1001,1993) k