'''הרעיון בכלליות:'''
נראה שעבור כל צורה של פ"א ופ"מ (בהתאם לאופייני) למטריצות A, B אותה צ'ורת צורת ג'ורדן ולכן הן דומות. בגלל שהסדר שלהן קטן יחסית (כי מהחל מסדר 4 המשפט לא מתקיים, אבל אותו רעיון של הוכחה יעבוד עבור סדר 2) אז יש רק צורת ג'ורדן צורה אפשרית אחת, (עד כדי סדר בלוקים) לכל בחירה של אופייני ומינימלי.
סימונים: