また、非自明なループや発散は、無限長の割数列を持つことによって、
1 で終わるコラッツ遷移の、有限長の割数列との差別化をおこなっています。