Description: Strong CH-state theorem (bidirectional version). Theorem in Mayet3 p. 10 and its converse. (Contributed by NM, 30-Jun-2006) (New usage is discouraged.)