Theorem T000430

⇒

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

Id Name
S7
,
S11
S164
S187
S188
S189
,
S190
S203
S204