Theorem 1: , ,      , /* a comment */