Diagonal response theorem

This proves the unrestricted smooth uniqueness needed by the polarization and identification arguments. Even if an inherited construction theorem were formulated using a smaller construction class, two smooth solutions of the present Cauchy problem could not differ outside that class.