Negate the statement.

Let be any non-measurable set. Then there exists such that for all open sets with , .

A theorem that is equivalent to a definition implies a biconditional relationship. The set is measurable if and only if the theorem applies, so if you negate the statement of the theorem, you get the opposite result.