Aun así, un solo invariante puede tomar el mismo valor para dos nudos diferentes, siendo insuficiente para distinguirlos.