[EGrouped [EText TextNormal "Theorem 1:"]]