The property shown is that of multiplication by the reciprocal . It is often used in order to reduce the factors that are multiplying and unknown (x) in solving an equation.
If you are in College, the property is called the "existence of the inverse for the product"