theorem
  A,B are_independent_respect_to P implies B,A are_independent_respect_to P;
