Эти методы применимы не только к математическим теоремам , но и , например , к компьютерным программам .
этот$2024 метод$1630 применимый$1726 не$0 только$0 к$0 математический$1746 теорема$1694 ,$0 но$0 и$0 ,$0 например$36 ,$0 к$0 компьютерный$1746 программа$1694 .$0