蒂布特在1956年发表的论文中具体提出的理论是