定理環境等の出力