Applications of the Theory of Compensated Compactness