If , the ideal generated by a and M is (1). This implies that there exists and such that . Thus, , where and and x = -t.
For 1, I think you need a Zorn's lemma for general cases. If your ring is Noetherian, you don't need a Zorn's lemma by the definition of a Noetherian ring.