Proving the existance of information