"Theorem 100. This is the last theorem in this book.

(The proof is obvious)"