שינויים

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

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