אם X, ו-Y הם מ"מ, ו-X תלוי ב-Y,
אז עבור כל ערך y של Y, מתקבלת התפלגות X|Y=y כלשהי.
מכיוון שההתפלגות הנ"ל היא פונקציה של y, אז גם התוחלת שלה היא פונקציה
של y.
במילים אחרות, בחירה של y גוררת התפלגות X|Y=y שגוררת את הערך של
התוחלת ...
ולכן עבור כל ערך של y של Y קיימת תוחלת