Sea A un anillo cualquiera y sea I un ideal (bilateral) de A.