\mathrm{Theorem\ 1:},\mathrm{\,\ },\mathrm{\:\ },\mathrm{/*\ a\ comment\ */}