theorem
  A,B,C are_independent_respect_to P implies B,A,C are_independent_respect_to P
