Algebra - Moduli, kolobarji

Ali se tu kdo spozna na module? Pesti me naslednji problem:

K=kolobar z enico,
B desni K-modul,
A podmodul, tak, da velja tole:
Če je x_1*a_1+...+x_n*a_n=x element A za neke x_i iz B in a_i iz K, potem obstajajo y_i iz A, da je x=y_1*a_1+...+y_n*a_n.

Naj bosta a, b iz K.
Dokaži, da če obstaja x iz B, za katerega je x*a=0 in je x*b element A, potem obstaja tudi y iz A, za katerega je y*a=0 in y*b=x*b.

Hvala vsem!