Ernesto, I have hacked versions of the theorem layouts that I think fix the problem (allowing you to nest up to four levels of Case environments). If you write me at rubin <at> msu <dot> edu and tell me which version of LyX you use, I'll send you the corresponding files and you can give them a try.
Paul
