That is, it is to be proven that the first proposition (that is, the proposition that is the simple assumption, the ''assumption for a conditional proof'') leads to the second. | That is, it is to be proven that the first proposition (that is, the proposition that is the simple assumption, the ''assumption for a conditional proof'') leads to the second. |