Space S000195

is a counterexample to the converse of 5 theorems
Id If Then
T195
T226
T439 ∧
T806 ∧
T845 ∧ ∧