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