Theorem T000018

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

Id Name
S64
S68
S70
S74
S79
S85