Rule of Or-Elimination/Proof Rule