\"\"

\

If \"\" and \"\", then \"\".

\

The transitive property is if \"\" and \"\", then \"\".

\

The transitive property justifies the statement.