정리 I의 역링크