“doğruluğu ispat edilir” İngilizcede