About proregular sequences and an application to prisms. Issue 11 (3rd November 2021)