שינויים

<math>|\nicefrac{P(A)}{R}|=|P(B)|</math>

נגדיר <math>f:P(B)\rightarrow \nicefrac{P(A)}{R}</math> ע"י <math>f(X)=[X]_R</math> לפי א מלעיל הפונקציה על, לפי ב היא חח"ע.