Proof by Cases/Also known as

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