In LyX, how to have itemize inside a proof?

Lyx can perfectly nest environments: All you need to do is to increase the nesting depth (Edit ➔ Increase List Depth):