reserve x, r for Real;
reserve A for symmetrical Subset of COMPLEX;
reserve F,G for PartFunc of REAL, REAL;

theorem
  F is_odd_on A implies F^2 is_even_on A by Th22;
