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