משפט ההצגה של ריס

דוגמה פתורה

1. 1
   אנו רוצים .

   גללו לשאר הנוסחה ↔

2. 2
   השוואה: , לכן ו-.

   גללו לשאר הנוסחה ↔

3. 3
   תשובה: . אימות: . ✓

   גללו לשאר הנוסחה ↔