If we have a ring, say R and arbitrary ideal I. Is it true that any equation on R, statisfied by elements of R, will be also statisfied in R/I by the cosets, whose representatives are the aforementioned elements. It looks obvious. So obvious, that I'm afraid even to think of doing nice formal proof (I would die to see one though :-).