Consiste en que, teniendo una raíz de índice formula_25-ésimo, siempre que éste índice pueda descomponerse en factores primos, el resultado puede expresarse dentro de un conjunto de radicales jerarquizados como sigue: