Conversely, for any ideal sheaf J in a sheaf of rings A, there is a natural structure of a sheaf of rings on the quotient sheaf A/J.
However, for every ideal sheaf J within a sheaf of rings A, there exists a natural structure of a sheaf of rings on the quotient sheaf resulting from A/J.