Los ciclos no triviales del problema 3x+1 tienen al menos cuatro bloques de exponentes unitarios.

Versión unificada y autocontenida de las secciones 52.1 a 52.6: demuestra que ningún ciclo no trivial tiene uno, dos o tres bloques de exponentes iguales a 1, con la cota diofántica certificada y el código del certificado.