\"\"

\

If \"\" , then \"\"

\

\"\"            (Given)

\

\"\"   (Apply multiplicative property: if \"\" ,then \"\")

\

\"\"                     (Use substitution property)\"\"

\

The multiplicative property justifies the statement.