همرسی نیمسازها

در این فایل به اثبات قضیه همر سی نیمسازها می پردازیم...