Let be , we proceed to show the appropriate procedure to step 4:
1) Given
2) Compatibility with multiplication/Existence of multiplicative inverse/Associative property/Modulative property/Result. (Division property of inequality)
In consequence, the division property of inequality which states that: