האם הוכחה לשאלה זאת בעזרת הסתכלות על כל קבוצה כעל וקטור, כך שכפל הוקטורים נותן מצטריצה מגודל iXj, היא הוכחה תקפה?
'''אני ממש לא מבינה. את מי אתה מחשיב כוקטור ? (איברי מכפלה קרטזית הם וקטורים, אבל בשום שלב לא מכפילים ביניהם ואני לא מבינה כיצד מכפלה כזו תוכיח שוויון עוצמות)? מי הם i ו-j?