적당히 1/2빼는 전단사함수 보내고

적당한 a를 곱해도 전단사가 만족되는데

모든 a에 만족하니 전단사야?