<<< native [ EText TextNormal "Theorem 1:" ] >>> omml Theorem 1: