Amaliy matematika va informatika

- formulalar majmuasidan keltirib chiqarilgan chekli ketma-ketlikning boshlang’ich qismi ham dan keltirib chiqariladigan bo’ladi;

-agar dan keltirib chiqarilgan ketma-ketlikning ikkita qo’shni hadlari (elementlari) orasiga dan keltirib chiqarilgan qandaydir boshqa ketma-ketlik qo’yilsa, u vaqtda hosil etilgan yangi formulalar ketma-ketligi ham dan keltirib chiqarilishi mumkin.

Haqiqatan ham, masalan, agar va lar dan keltirib chiqarilsa, u vaqtda keltirib chiqarish ta’rifiga asosan ham dan keltirib chiqariladigan bo’ladi.