Not edelim ki, Teorem 3.11.’in (h) şıkkında A1 A2 olduğundan (yani A1 tripotent matrisi özel olarak idempotent veya ters-idempotent olduğundan), Teorem 3.12.’de bu şıkka karşılık bir sonuç yoktur çünkü Teorem 3.12.’deki A1 tripotent matrisi esas tripotenttir. Dolayısıyla Teorem 3.11. ve Teorem 3.12. birbiriyle uyumludur.