is a counterexample to the converse of 3 theorems
Id If Then
119
308 ( ) ¬
430