Lech’s multiplicity conjecture

Proves $e(R)\le e(S)$ for every flat local homomorphism of nonzero Noetherian local rings, where e is Hilbert–Samuel multiplicity. This resolves Lech's conjecture in every dimension and characteristic.