112AdditionstoPermutationsTheorylemmapermutesimpbij0assumesppermutesSshowsbijpusingassmsbymesonbijdefpermutesinjpermutessurjlemmapermutesEassumesppermutesSobtainsbijp8xx2Spxxusingassms ID: 395806