Sei a 1 = Id ( V 1 ) {\displaystyle {}{{\mathfrak {a}}_{1}}=\operatorname {Id} \,(V_{1})} und a 2 = Id ( V 2 ) {\displaystyle {}{{\mathfrak {a}}_{2}}=\operatorname {Id} \,(V_{2})} . Die Aussage ergibt sich aus
wobei die erste Gleichung auf Fakt beruht.