Proof

1 implies 2

2 implies 1