"틀렸다"까지는 아니고, "아닐 수 있다"가 맞는 것 같습니다.
언어 선택을 잘못했네요. 죄송합니다. 
왜 아닐 수 있냐 하면은, 순환하지 않고 불규칙적으로 무한히 시행할 수 있는 방법이 있을지도 모르기 때문입니다. a1 => a2 => a3 => ... 와 같이 문제의 시행을 무한히 할 수 있다고 쳐도, 거꾸로 하는 시행은 유한번밖에 못하겠지요. (역시행을 유한번 밖에 못하지만 역시행 횟수를 원하는 만큼 키울 수는 있겠군요.) 이해가 안 되신다면 댓글로 달아주시고, 다시 죄송합니다.