About proregular sequences and an application to prisms