שינויים

'''מסקנה''': המשפט <math>s=B([B])</math> מקיים ::--<math>s \iff P([s])\iff s</math> כפי שרצינו.