Ciclos de Collatz con un único bloque de exponentes unitarios

Demuestra que ningún ciclo no trivial tiene todos sus exponentes iguales a 1 en un solo bloque. Combina una cota del inicio del bloque, una cota del acarreo y el teorema de Ellison, y comprueba exhaustivamente el residuo finito, 511 232 perfiles. Contiene los circuitos de Steiner como caso particular.