A Compact Proof of Decidability for Regular Expression Equivalence