> Can you try to add "[" as ERT, then "of Theorem 9.9.9", and then "]" in > ERT again? It should do what you want (depending on the class, you may > need to add the "Proof of Theorem 9.9.9" between the brackets). > This solution works perfectly! Thank you everyone who suggested solutions.
Best regards, Peter.
