Space S000116

is a counterexample to the converse of 6 theorems
Id If Then
T65 ∧
T88 ∧ ¬
T486 ∧ ∧ ∧
T541
T635
T849