ebproof label separation=0.3em

[utf8]inputenc amsmath, amsfonts, amsthm, mathtools stmaryrd marginnote

appendix theorem figure