theorem
  LAp (A _\/_ B) = LAp A \/ LAp B;
