Space S000124

is a counterexample to the converse of 3 theorems
Id If Then
T45 ∧
T263 ∧
T508 ∧ ∧ ∧