Theorem T000292

The converse ( ) follows from these theorems:

Id If Then
T218
T284
T350
T245
T415
T58
T42
T222