Kantorovich–Rubinstein theorem