theorem th263pb:
  M |=0 A iff M |=0 {A}
  proof
    thus M |=0 A implies M |=0 {A} by TARSKI:def 1;
    A in {A} by TARSKI:def 1;
    hence thesis;
  end;
