I've heard they can detect which areas of your brain are active when you think of say, a banana. So what they could do is have you think of a banana while awake, then record the pattern. Then when you're lucid, start thinking of bananas, and there you have proof.