Cils B1 Prove Diagonal Matrices