بڕگەیەکی کورتی گێڕانەوە بنووسە لەسەر ئەم بابەتەی خوارەوە:  کەسی X هیچ تێچوویەک لە سوپاسکردنی کەسی Y پاشەکەوت ناکات
دڵنیام، ئەمەی خوارەوە بڕگەیەکی کورتە: شافۆن بە دڵسۆزانە سوپاسی کەیڤن کرد. ئەو لە ڕێگەی خۆیەوە سوپاسی کرد بۆ یارمەتییەکەی، و دوودڵیشی نەکرد بۆ نیشاندانی پێزانینی خۆی. شافۆن بە ڕاستی سوپاسی هەموو ئەو شتانەی کە کەیڤن بۆ ئەو کردبوو.