Ampleness descends to a finite level