I have a question about LyX. When I use for example Proof, I write stuff, but in the middle of the proof I have to prove another lemma. So I click Lemma, but it ''closes'' the proof. I don't really know the right word to explain it. I want to use Lemma in the Proof, but I want the Proof thing continue. Can someone explain me how I can do that? I hope my question was clear. I don't really know the terms for these things. Thanks.
You can put the cursor in the Lemma environment and press Tab. When you finish with the Lemma, add a
separator (also from the modules), and finish the proof.