Consecutive theorems

[Luca Brandolini]

I am trying to write two consecutive theorems in my paper. However Lyx
always joints the two theorems into a single enviromes.
The only way seems to insert a non-empty line in between. 
Is there a solution for this?