https://9lib.org/document/zx5vok4q-sobolev-algebras-through-a-carré-du-champ-identity.html