Lyckligtvis finnes en logiskgrundsats