The resulting output sets the title as a bold numbered running header and the body of the theorem is displayed in italic:
Theorem 4.1
If proposition P is a tautology then ~P is a contradiction, and conversely.
Return