consider E being V146(K) Matrix of 1,K;
take E ; :: thesis: E is diagonal
thus E is diagonal ; :: thesis: verum