отлично! теперь смотри: мы можем со стопроцентной гарантией проверить, что иранский софт не предоставляет проверяемой сборки, этот факт, в соответствии с нашем определение доказательствва (определение: "факт, если он проверяем") поэтому делаем вывод, что мы доказали что иранское говно - троян