이거 두 파트가 완전히 듀얼인데 증명 두번하잖아 

듀얼모듈 생각해도 reflexive하지 않으면 별 쓸모가 없고 


어차피 완전히 같은 논리인데 이거 한번으로 퉁칠 수 있는 방법 없음? 


아벨리안 카테고리 하나도 모르는데 이거 보면 되나