https://123deta.com/document/z1dj5n1p-zero-nonzero-patterns-nilpotent-ideal-saturation-finite-fields.html