theorem
  OAS is Fanoian
by Th23;
