Sorry, I wasn't challenging your logic, I was implying that it's intuitively obvious - it's funny to see the term "blindingly obvious" followed by a paragraph of formal logic.
Fair enough. I expressed it that because I was asking a genuine question, not being rhetorical. That was the argument I used to convince myself that my (unstated) intuition was indeed true and wanted to know if there was something I was missing.