Det påstås vara bevisadt , att detexisterar