Nullstellensatz paper