"
נניח בשלילה שהחיתוך המתבקש אינו שווה לקבוצה ובה הקבוצה הריקה, ולכן משום שהקבוצה הריקה היא איבר המשותף לכל קבוצות החזקה קיימת קבוצה <math>X\in P(A)</math> ושמקיימת גם <math>X\inPin P(B)</math> (נשים לב שקבוצה זו שונה מהקבוצה הריקה)....... בסוף נקבל ש- <math>X\subseteq A \bigcup B</math> ולכן החיתוך אינו קבוצה ריקה, וזו סתירה?"
כמובן שעם פירוט של כל השלבים באמצע. תודה מראש, גל.