theorem
  1 = 1.TernaryFieldEx;
