Sufficiency Theorem and Closed-Form Posterior for a Windowed Change Point Detection Task · Briflio