'''<math>([b_1]_B\cdots [b_k]_B\ [0]_B\cdots [0]_B)</math>
'''כאשר '''<math>[b_i]_B=e_i\ \ \forall i=1,...,k</math> '''ו-<math>[0]_B=0</math>.
'''לכן המטריצה המייצגת היא <math>I</math> מגודל kxk בבלוק השמאלי-עליון ומטריצת ה-0 מגודל n-kxn-k בבלוק הימני-תחתון. זו מטריצה אלכסונית ולכן לכסינה. עדי