The result was proved for polynomial rings by Macaulay and for arbitrary Noetherian rings by Eagon.
Let be a matrix with entries over a Noetherian ring . Denote by the ideal generated by the minors of . Then, the codimension of any prime ideal minimal over is at most .
The case yields Krull's height theorem and the case yields Krull's principal ideal theorem.