Talk:Hochster–Roberts theorem