author was so excited to point at calculus, that he forgot to derive actual mod3000 answer from chinese remainders...

and it seems much more intuitive for me to see this technique as "find x mod p^n, then apply x->ans+p*x transformation and do everything at mod p^n+1" - and to derive that it results in derivatives from that