theorem Th69:
  [.N1,N2.] = [.N2,N1.]
proof
  [.N1,N2.] is Subgroup of [.N2,N1.] & [.N2,N1.] is Subgroup of [.N1,N2.]
  by Lm2;
  hence thesis by GROUP_2:55;
end;
