Search for tag: "how to apply the division property of equality"