Prove the X$-$projection px : X x Y $->$ X and the Y$-$projection py : XxY $->$ Y in porblem $8$ exercise $3\mathrm{.}5,$ are surjective. When is the X$-$projection an injection?