Space S000099

is a counterexample to the converse of 3 theorems
Id If Then
T127 ∧ ∧ ∧
T230 ∧
T239 ∧ ∧ ∧