If , then
(Given)
(Apply multiplicative property: if ,then )
(Use substitution property)
The multiplicative property justifies the statement.