Фактор, который считается верным для программы без привлечения доказательств [из 3.4 ГОСТ Р 54871–2011]