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