Hilbert nullstellensatz

1. REDIRECT Hilbert's Nullstellensatz

{{Redirect category shell|

{{R from modification}}

{{R from other capitalisation}}

}}