В доказательстве леммы 1 никак не используется конкретная природа рассматриваемых объектов. Поэтому в утверждений ''если Х -- лошадь, то все Х имеют одинаковую окраску'' можно заменить ''лошадь'' на ''нечто'' и тем самым доказать следствие (Можно, кстати, заменить ''нечто'' на ''ничто'' без нарушения справедливости утверждения, но этого мы доказывать не будем).