Law of Excluded Middle for Two Variables

Theorem
$\vdash (p \land q) \lor (\lnot p \land q) \lor (p \land \lnot q) \lor (\lnot p \land \lnot q)$