I've got a really simple question. I'd like to write a mathematical proof in LaTeX, so my document will contain both text and formulae embedded in it. For example, I want to add this to it:

How can I write this efficiently, without putting the entire text into an \mbox{} element?