1: \begin{definition}

2: \index{state! KMS}

3: A state is said to be a $(\tau,\beta)$-KMS state if it satisfies one of the conditions in Theorem \ref{KMSequi}. 

4: \end{definition}

5: