The question is:

(i) Let $L$ be a distributive lattice and let $a,b,c\in L$. Prove that

($a\lor b$ = $c\lor b$ & $a\land b$ = $c\land b$) => $a$=$c$. $(*)$

(ii) Find elements $a,b,c$ in $M_3$ violating $(*)$. Do the same for $N_5$.

(iii) Deduce that a lattice $L$ is distributive if and only if $(*)$ holds $\forall$ $a,b,c\in L$.

My Attempt:

Well i managed to prove the first part just fine.

I am not sure about the second one, I was thinking of choosing $a=2$,$b=3$,$c=5$ for $M_3$.They do violate $(*)$, but I am not sure whether this is correct or not.

If it is correct then probably the same example should work for $N_5$ as well.

Also i am stuck with the converse of the third part,i.e., if $(*)$ is satified then show that $L$ is a distributive lattice.

I considered, $a\land (b\lor c)$ = $a\land (a\lor b)$ =$a$, how do I go further ?