[EText TextNormal "Theorem 1:"]