שינויים

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