正合微分

exact differential