1: \begin{definition}

2: The Coding Theorem further establishes the connection between $m(s)$ and $K(s)$ as follows: 

3: 

4: \begin{equation}

5: \label{codingtheorem}

6: |-\log_2 m(s) - K(s)| < c

7: \end{equation}

8: \end{definition}

9: