theorem環境での空行の調整について