Theorem T000316

∧ ∧ ⇒

The converse ( ⇒ ∧ ∧ ) follows from these theorems:

Id If Then
T340
T333
T290