Theorem T000418

∧ ⇒

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T565
T218
T42
T350
T564
T415 ∧
T186