We show how one can use a common technique used to tackle various version of the corona theorem to obtain a degree bound for the polynomials that appear as a result of Hilbert's Nullstellensatz. This talk is based on joint work with Anupan Netyanun and Tavan Trent.