Proof by Cases/Also known as
Proof Rule
Proof by Cases
is also known as the
rule of or-elimination
.