If you're writing a math-heavy article — explaining an algorithm's correctness, proving a complexity bound, or walking through a cryptographic protocol — you need a way to clearly distinguish theorems, proofs, definitions, and examples from the surrounding text.

Standard LaTeX has dedicated environments for this (\begin{theorem}, \begin{proof})....