Added REAL_SIGMA_IMAGE_CROSS_SYM to real_sigmaTheory