Space S000119

is a counterexample to the converse of 6 theorems
Id If Then
T88 ¬
T203
T486
T541
T635
T638 ¬