Sea un elemento "x" del anillo local "R", las siguientes proposiciones son equivalentes: