it would be good to add something explaining the relevance of the case of the canonical ring and how it has been proved in bchm and how the proof is simplified by lazic cascini et al later on