מותר להוכיח ככה?
:{{לא מתרגל}} אני לא רואה כל בעיה עם זה. עם זאת, למה לא פשוט לומר שיש פונק חח"ע מתת הקבוצה (B) לקבוצה (A), למשל הזהות, ולכן <math>|B|<=|A|</math>. משום שקבוצה בת מנייה היא קבוצה עבורה <math>|X|<=|\N|</math> נקבל כאן שהועצמה של B מקיימת את הנדרש (מהנתון A בת מנייה).
== האם אפשר להשתמש בחוקי הארתמטיקה של העוצמות ==
max{a,2^b}<=a^b<=max{2^a,2^b} ?