Let L/K be a finite extension of algebraic number fields of degree prime p. Is it true the index (U_K:Norm(U_L)) divides [L:K]? where U_ denotes the unit group and Norm denotes the ideal norm map of relative extension of L/K.