This is a sample theorem. The run-in heading is set in bold, while
the following text appears in italics. Definitions, lemmas,
propositions, and corollaries are styled the same way.


Proofs, examples, and remarks have the initial word in italics,
while the following text appears in normal font.

For citations of references, we prefer the use of square brackets
and consecutive numbers. Citations using labels or the author/year
convention are also acceptable. The following bibliography provides
a sample reference list with entries for journal
articles [1]}, an LNCS chapter [2]}, a
book [3]}, proceedings without editors [4]},
and a homepage [5]}. Multiple citations are grouped
[1]}, [2]}, [3]},
[1]}, [3]}, [4]}, [5]}.
