_ is a mathematical property used to rewrite expressions involving addition and multiplication. This states that for any three numbers a, b, and c, a(b+c)=ab+ac.