Z2 ^2 에서 Z2 ^2 으로 가는 선형변환이 있을때 이변환이 일대일 대응일 조건이 머임?