A "bizonyságtétel-lánc"