Check EqualityGSCompute6.tex