순환하는 루프나 발산하는 루프 그런거 하나도 증명 안됨?