>>675
ループがあるのは再帰があるのと同じ、
再帰があるのはループがあるのと同じ、
とかなり昔に証明されてます。