if: then and and it can be deduced that

So if we change things around we get:

So that's true for

if: then and so then

So that's true for

if: then and and it can be deduced that

So if we change things around we get:

So it holds true in all cases.