Теорема 4.1.2.
x,y,z GC(x) GC(y) = GC(z) & GN(x) GN(y) = GN(z)
x,y,z
GC(x) GC(y) = GC(z) & GN(x) GN(y) = GN(z)
Доказательство:
По Теореме 4.1.1
q.e.d.