Neither of those statements were statements. They were pure algebra with placeholder suppositions not declared values. There is nothing in them to contest excep

Neither of those statements were statements. They were pure algebra with placeholder suppositions not declared values. There is nothing in them to contest except the definitions of the terms. Unless you are claiming they used the word "if" wrong or something there is nothing to prove or disprove. If you want to claim the algebra is wrong, the "if this then that" is broken, then say what you think is wrong with it.