  For a symmetric hyperbolic system of the first order, we prove a Carleman
estimate under some positivity condition concerning the coefficient matrices.
Next, applying the Carleman estimate, we prove an observability $L^2$-estimate
for initial values by boundary data.
