Chain Rule by Marc Renault