amsthm

Environments of amsthm:

proof