Que el rango se defina sobre el subtipo Positive implica que ningún string de Ada puede empezar en 0.