endaxiom
endcomment
endcorollary
enddefinition
endexample
endlemma
endproof
endproposition
endtheorem