  By means of the Hardy-Littlewood method, we apply a new mean value theorem
for exponential sums to confirm the truth, over the rational numbers, of the
Hasse principle for pairs of diagonal cubic forms in thirteen or more
variables.
