Kantorovich-Rubinstein theorem