
theorem Th28:
  for R being non empty RelStr holds
    Flip LAp R = UAp R
  proof
    let R be non empty RelStr;
    Flip UAp R = LAp R by Th27;
    hence thesis by Th23;
  end;
