Completeness_Decreasing_Diagrams_for_N1.Finite_DCR_Hierarchy