reserve F for non empty TernaryFieldStr;
reserve a,b,c for Scalar of F;

theorem
  1 = 1.TernaryFieldEx;
