is a counterexample to the converse of 6 theorems
Id If Then
119
169
251
263 ( ∧ )
296
363 ( ∧ )