set E = the V160(K) Matrix of 1,K;
take the V160(K) Matrix of 1,K ; :: thesis: the V160(K) Matrix of 1,K is diagonal
thus the V160(K) Matrix of 1,K is diagonal ; :: thesis: verum