Proof Diagram of Distributivity of ∨ over ∧, in NJ #math