Theorem T000430

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

Id Name
S7
S11
S164
S187
S188
S189
S190