Sure — but, given the proof by contradiction, the examples would then illustrate the trade offs that the theorem forces.