정방향 증명을 이렇게 했음 C_x는 x로 만들어지는 cyclic subspace를 말함


x 가 C_y의 원소니까 C_x가 C_y의 부분공간이됨 x,y가 같은 T-ann을 가지므로 C_x랑 C_y는 같은 차원이고 따라서 둘은 같음


근데 이렇게 풀면 phi가 irr 인건 안쓴거 같은데 뭐임? 과조건?