Theorem T000040

The converse ( ) does not hold, as witnessed by these counterexamples:

Id Name
S39
S41
S113
S114
S116
S119
S120
S192