Space S000089

is a counterexample to the converse of 5 theorems
Id If Then
T28 ∧ ∧
T73 ∧
T102
T114
T115