theorem Th54:
  for B, C, R, E, a st B, R |- a holds C, E |- a
proof
  let B,C,R,E,a;
  C is B-extending & E is R-extending;
  hence thesis by Th44;
end;
