The long standing Lech’s conjecture in commutative algebra states that for a flat local extension $$(R,\mathfrak {m})\rightarrow (S,\mathfrak {n})$$ of Noetherian rings, we have an inequality on the Hilbert–Samuel multiplicities: $$e(R)\le e(S)$$ . In general is wide open when $$\dim R>3$$ , even equal characteristic. this paper, prove all dimensions, provided {m})$$ standard graded ring over p...