Identifying properties used to solve a linear equation