On steady transonic flow by compensated compactness