implies

.

Then we have to prove that

implies that

implies