Если одна вещь ведет себя как другая, то это та же вещь. Те если верифицированая программа работает так же как неверифицированная, то можно считать вторую верифицированной
Если одна вещь ведет себя как другая, то это та же вещь. Те если верифицированая программа работает так же как неверифицированная, то можно считать вторую верифицированной