Теорема 4.1.2.

x,y,z

GC(x) GC(y) = GC(z) & GN(x) GN(y) = GN(z)

Доказательство:

По Теореме 4.1.1

q.e.d.