证明的思路就是先假设克罗内克尔符号是一个（1,1）阶的混合张量，然后按照张量的变换规则变过去，如果没有推出错误，假设成立。