Sea un árbol de m-caminos "A", es un árbol m-caminos si y solo si: