KT spikker
A11 = ( -1) a2i2 ... anin .
( 1, i2 , ... , in ) Sn
Tähistame
j1 = i2 - 1, j2 = i3 - 1, ... , jn -1 = in - 1,
b1 j1 = a2i2 , b2 j2 = a3i3 , ... , bn -1, jn-1 = anin .
Ilmselt
( j1 , j2 , ... , jn -1 ) Sn -1 , ( 1, i2 , ... , in ) = ( j1 , j2 , ... , jn -1 ) .
Seetõttu
( j1 , j2 , ... , jn -1 )
A11 = ( -1) b1 j1 b2 j2 ...bn -1, jn-1 =