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