6. . .

Df: A .
+

N
H

Df:

G()

.
ZR

+
Z

Th:

G(.)

x , y H (x y H) .

'
Df: Q ( ) , Q () , :Q Q

( x 0 y )= y ( x ) ( y )

'

!.

( x 0 y )= y ( x ) ( y )

.
Th:
.

G()

G ' () ,

G ' ()