theorem Baaq:
  between a,a,q by Bsymmetry, Bqaa;
