Show the paradoxes of the implication by confirming that the following rules are tautologies.

1 x → (y → x). A true proposition x is implied by any proposition y.