need confirmation of counterexample

Printable View