Space S000046

is a counterexample to the converse of 5 theorems
Id If Then
T2
T110
T253 ¬
T296
T450