а) успешната адвокатска пледоария решава локален казус и води до оправдаване на един или няколко конкретни обвинени, докато
б) успешната теорема решава глобален казус, т.е. оправдава всички "обвинени" - настоящи и бъдещи.
Замислим ли се малко повече, установяваме че успешната теорема Х оправдава и минали "обвинени", т.е. теоремите които са били доказани при допускане на верността на Х, преди Х да е била доказана.