Linear Pair Proofs, Equations with Distributive Property