\def\definition#1{{\bf DEFINITION (#1)}}