프로그램의 최종 결과값에 영향이 없도록 루프코드를 수정하기 위해서는 이 3가지 디펜던스가 반드시 유지되어야 한다.
These three dependence must be maintained in order to modify the loop code so that the final result value of the program is not affected.