Stadler Discrete Nodal Domain Theorems