اثبات با در نظر گرفتن همه حالت ها ریاضیات کتاب گسسته دوازدهم