Exclusive Or is Commutative

Theorem
Exclusive or is commutative:
 * $p \oplus q \dashv \vdash q \oplus p$