доказательство сюда. оттуда будет видно, что провалилась попытка доказать существование. т.е. доказывали именно положительное утверждение. не доказалось — получилась отрицательная формулировка. итого: принимай аттестат о невладении логикой и профанизме в математике. иногда лучше жевать, да.