Prove That `abs[[1,1,1],[1,alpha,beta],[1,alpha^2,beta^2]]^2` = `abs[[3,1+alpha+beta,1+alpha^2+beta^2],[1+alpha+beta,1+alpha^2+beta^2,1+alpha^3+beta^3],[1+alpha^2+beta^2,1+alpha^3+beta^3,1+alpha^4+beta^4]]`