Space S000140

is a counterexample to the converse of 7 theorems
Id If Then
T51
T71
T88 ¬
T136
T229
T422 ¬
T555 ¬