A counterexample to J. de Groot's conjecture cmp=def - Pol, Roman (1982)