It said his proof was basically by example. He proved more were possible.