ترکیب های عطفی و فصلی,اثبات ویژگی ها با جدول ,اثبات شرکت پذیری و توزی