Surjectivity는 어떻게든 해보겠는데 Injectivity를 어떻게 보여야 할 지 모르겠습니다.