ទ្រឹស្តីបទស្ស៊ីបភើ(Zipper theorem) គឺជាទ្រឹស្តីបទមួយនិយាយអំពីស្វ៊ីតទាល់។
បើ
និង
គឺជាស្វីតទាល់ត្រង់
នោះ
ទាល់ត្រង់
។
សំរាយបញ្ជាក់
ឧបមាថា
និង
។ តាង
ជាស្វ៊ីតថ្មីមួយទៀត
,
,
,
,
ដូចនេះ តាង
=
តាង n ≥ 1
ចំពោះ
ដោយ
ចំពោះគ្រប់
មាន
នោះ
when
ដោយ
ចំពោះគ្រប់
មាន
នោះ
ពេល
បើ
នោះ
ពេល
ហើយដូចនេះ
ទាល់ត្រង់
។