Пры гэтым патрабаваныя доказы звычайна кімсьці знойдзеныя (выключэнне складаюць у асноўным працы па логіцы, у якіх вывучаецца само паняцце доказу, а таму ў некаторых выпадках тэарэмамі завуць нават нявызначаныя сцвярджэнні).