آن ثبوت ها میتواند انواع گوناگون داشته باشد، مانند تائید نتایج آن یا پیوندهای قوی داخلی به نتایج.