112AdditionstoPermutationsTheorylemmapermutesimpbij0assumesppermutesSshowsbijphproofilemmapermutesEassumesppermutesSobtainsbijp8xx2Spxxhproofilemmabijimppermutes0assumesbijp8xx2Apxx ID: 395805