Hilbert's Nullstellensatz over quaternions

Using the Rabinowitsch trick, we prove a version of Nullstellensatz over quaternions, which generalizes Hilbert’s Nullstellensatz over complex numbers.