שינויים

פתרון: מניחים כי קיימת <math>f:A\to B</math> הפיכה. נגדיר <math>g:P(B)\to P(A)</math> ע"י <math>B'\mapsto f^{-1}[B']</math> הפיכה לפי מה שעשינו בכיתה ובש.ב..