theorem
  Int A c= A by Lm15;
