The implication one way follows from Theorem 2.
None of these implications can be reversed.
the converse implication = the converse