Sobolev Algebras Through a 'Carré du Champ' Identity