\usepackage{../configuration/smfthm}