Hogy lehet bizonyítani azt, ha valami nem létezik?