2変数の写像の全射と単射ってどのように証明すればよいのでしょうか?