\usepackage{amsthm}ってあったなぁ

ようやく証明の最後に白抜き四角が付いたよ。ams入れてたの忘れてた。
ざっと日本語で書けたので、後はきっちりと詰める。アブストラクトと序は後回し。これが一番面倒臭くなりそうだ。
あ、炬燵トップ復活。師が置いていった小さめの炬燵の上にモニター等が並んでいたり。カップを置く場所がねぇ。