theorem
  A,B,C are_independent_respect_to P implies A,C,B are_independent_respect_to P
by XBOOLE_1:16;
