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.