:מה שעשית למעלה הוא הסבר עם דוגמא אבל לא הוכחה שלימה.--[[משתמש:ארז שיינר|ארז שיינר]] 11:57, 20 ביולי 2010 (UTC)
::ברור לי גם שעליי להוסיף להוכחה את העובדה שב- <math>P(B)</math> יש איבר שאין אותו ב- <math>P(A)</math>. וסליחה על השאלה הקצת טיפשית, מה עליי להוסיף בכדי שהדבר ייחשב להוכחה שלמה?
==תרגיל 1==