הוכחות/הסברים איך מסבירים (או מוכיחים) את: 1. A, B - קבוצות סופיות ו-A מוכלת-שווה-ל B אז כל פונקציה f : A ->B שהיא על היא חד-חד ערכית. 2. A, B - קבוצות סופיותו-A מוכלת-שווה-ל B אז כל פונקציה f : A ->B שהיא חד-חד ערכית היא על.