모듈성 정리의 역링크