Is this a proof by cases?

Printable View