A \epsilon Mn(H) matrisinin determinantının detA := \sigma (-1)^(j+1) A(ij) det(A[1,j]) (Ayrıca sigma j=1 den n+1 e kadar)
olduğu gibi tanımlandığını kabul edelim. Bu taktirde
A= ( i j)
(i j) \epsilon M2(H)
için detA \not= 0 olmasına karşın RA(H) : H^(2) \rightarrow H^(2) dönüşümünün tersinir olmadığını gösteriniz.