consider S being semi-Thue-system of E;
take S \/ (S ~ ) ; :: thesis: S \/ (S ~ ) is symmetric
thus S \/ (S ~ ) is symmetric ; :: thesis: verum