If there is no resurrection of the dead, then is Christ not risen; but Christ is risen, therefore there is a resurrection of the dead. This rule, then, that when the consequent is removed, the antecedent must also be removed, is not made by man, but only pointed out by
