¿Qué pasa si hay un empate a puntos entre equipos de División de Honor Vasca?