>>672
ん?
遅延評価なしで終了するものは、遅延評価でも必ず終了することが、
数学的に証明されているが?