https://definitionhop.blogspot.com/2022/09/definition-of-counterexample-in-math.html