7번에 나오는 관계의 우변이 정의되려면 각 i에 대해 Ai/Bi가 어떤 R module M에 포함되어야하잖아 근데 쟤들이 i에 의존하지 않는 module M에 속하는걸 어떻게 보이지? 
어떻게 집합을 만들어야 잘 들어가려나

- dc official App