Exclusive Or with Factor of Exclusive Or

Theorem

 * $\left({p \oplus q}\right) \oplus q \dashv \vdash p$