theorem
  for x being Element of G st  x * N c= A holds x in N ` A;
