Oseh-Shalom-SA-Proof