>>>>> "Peter" == Peter Soendergaard <[EMAIL PROTECTED]> writes:
Peter> Yes, but it looks horrible. "Proof." is typeset in italics, and Peter> "of Theorem 9.9.9" is typeset as normal text. That is the main Peter> problem. Also, the text becomes "Proof. of Theorem" and not Peter> "Proof of Theorem". The solution is to use the optional argument of the proof environment. This is definitely something that LyX should support, but it does not currently.. 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). JMarc