Induction hypothesis is governed by principle ordering which has been neglected when we remove 1 cow from the set and replace with another random one outside the set.

By submitting this form, you accept the Mollom privacy policy.