Theorem 1:
 
    
/* a comment */