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