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