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