endaxiom
endcorollary
enddefinition
endexample
endlemma
endproof
endproposition
endtheorem