Proof by contradiction

For a laugh, find the proof that all horses have an infinite number of legs. It includes a lemma, with proof by intimidation.