Proof of the Razumov–Stroganov conjecture