Application of Properties to Simplify Expressions