Theorem T000292

The converse ( ) follows from these theorems:

Id If Then
T565
T284
T245
T58
T293