theorem
  [[a,b],[c,d]] in 4C_3(F);
