Space S000151

is a counterexample to the converse of 4 theorems
Id If Then
T284
T594 ∧ ¬
T597
T602 ∧ ¬