2This implies that they are not of infinite dimension in Mumford’s sense.