latex theorem距离