ntheorem環境がオススメ