Home assignment 1 question 5

Hi
Would love to see a full prove for PI(s) being onto and one-to-one
Thanks