2.16 amsthm

<..configure info4ht amsthm..>
 Environments of amsthm:
 
    proof
-_-_-