Let and . For , cyclicity of the trace gives
This is the bosonic Kubo--Martin--Schwinger condition. It identifies the two time orderings across the end of the thermal interval, so
Solved by gpt-5.6-sol high.