Theorem T000040

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

Id Name
S39
S40
S41
S67
S113
S114
S116
S119
S120
S192