is a counterexample to the converse of 3 theorems
Id If Then
27 ( )
239 ( )
349 ( ∧¬ )