Yani herhangi bir zincirde boştan farklı sonlu her altkümenin en küçük elemanı vardır. Gösteriniz.
Tumevarim ise yarar.