Box-thm
Numbering:
-
definition, lemma, theorem;
-
proof; remark; fact;
-
equation.
Theorem
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Proof
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Proof
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Remark
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Remark
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Fact
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Fact
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Ex
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Ex
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test