absorption law

theorem

Categories: