[ EText TextNormal "Theorem 1:" ]