Heinig, P. Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba. Electron. J. Combin. 2010, 17, N14.