A chain rule in $L^1(div;Omega)$ and its applications to lower semicontinuity.