Reduction of the characteristic initial value problem to the Cauchy problem and its applications to the Einstein equations | Synapse