Rule of Explosion/Variant 2/Proof 1