First proof you could make is that line OS is congruent to line OS since it applies to the Relflexive Property of Congruence, another one you could make is that line PS is congruent to line RS because of definition of angle bisecting, lastly angle OSP is congruent to angle OSR because they are opposite right angles formed by an angle bisect or