REAL is V125() V126() V127() V131() set
NAT is V125() V126() V127() V128() V129() V130() V131() Element of bool REAL
bool REAL is set
COMPLEX is V125() V131() set
RAT is V125() V126() V127() V128() V131() set
INT is V125() V126() V127() V128() V129() V131() set
[:COMPLEX,COMPLEX:] is set
bool [:COMPLEX,COMPLEX:] is set
[:[:COMPLEX,COMPLEX:],COMPLEX:] is set
bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set
[:REAL,REAL:] is set
bool [:REAL,REAL:] is set
[:[:REAL,REAL:],REAL:] is set
bool [:[:REAL,REAL:],REAL:] is set
[:RAT,RAT:] is set
bool [:RAT,RAT:] is set
[:[:RAT,RAT:],RAT:] is set
bool [:[:RAT,RAT:],RAT:] is set
[:INT,INT:] is set
bool [:INT,INT:] is set
[:[:INT,INT:],INT:] is set
bool [:[:INT,INT:],INT:] is set
[:NAT,NAT:] is set
[:[:NAT,NAT:],NAT:] is set
bool [:[:NAT,NAT:],NAT:] is set
NAT is V125() V126() V127() V128() V129() V130() V131() set
bool NAT is set
bool NAT is set
0 is set
1 is V11() V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT
G_Real is non empty strict right_complementable Abelian add-associative right_zeroed addLoopStr
K143() is V1() V4([:REAL,REAL:]) V5( REAL ) V6() V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]
0 is V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT
addLoopStr(# REAL,K143(),0 #) is strict addLoopStr
the carrier of G_Real is V11() V125() V126() V127() set
A is V21() V29() Element of the carrier of G_Real
a is V21() V29() Element of REAL
2 is V11() V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT
a / 2 is V21() V29() Element of REAL
b is V21() V29() Element of REAL
c is V21() V29() Element of the carrier of G_Real
c + c is V21() V29() Element of the carrier of G_Real
c + c is V21() V29() Element of REAL
0. G_Real is V21() V29() V51( G_Real ) Element of the carrier of G_Real
the ZeroF of G_Real is V21() V29() Element of the carrier of G_Real
ADG is V21() V29() Element of the carrier of G_Real
ADG + ADG is V21() V29() Element of the carrier of G_Real
ADG + ADG is V21() V29() Element of REAL
ADG is V21() V29() Element of the carrier of G_Real
ADG + ADG is V21() V29() Element of the carrier of G_Real
ADG + ADG is V21() V29() Element of REAL
ADG + ADG is V21() V29() Element of the carrier of G_Real
ADG is non empty right_complementable Abelian add-associative right_zeroed addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
a + a is Element of the carrier of ADG
0. ADG is V51(ADG) Element of the carrier of ADG
the ZeroF of ADG is Element of the carrier of ADG
b is non empty right_complementable Abelian add-associative right_zeroed addLoopStr
the carrier of b is V11() set
0. b is V51(b) Element of the carrier of b
the ZeroF of b is Element of the carrier of b
ADG is non empty addLoopStr
the carrier of ADG is V11() set
ADG is non empty addLoopStr
the carrier of ADG is V11() set
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
b is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
c is Element of the carrier of ADG
d is Element of the carrier of ADG
[c,d] is set
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
[a9,b9] is set
[[c,d],[a9,b9]] is set
c + b9 is Element of the carrier of ADG
d + a9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
[c9,d9] is set
r is Element of the carrier of ADG
p9 is Element of the carrier of ADG
[r,p9] is set
c9 + p9 is Element of the carrier of ADG
d9 + r is Element of the carrier of ADG
b is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
c is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
d is set
a9 is set
[d,a9] is set
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
[b9,c9] is set
d9 is Element of the carrier of ADG
r is Element of the carrier of ADG
[d9,r] is set
b9 + r is Element of the carrier of ADG
c9 + d9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
[b9,c9] is set
d9 is Element of the carrier of ADG
r is Element of the carrier of ADG
[d9,r] is set
b9 + r is Element of the carrier of ADG
c9 + d9 is Element of the carrier of ADG
ADG is non empty addLoopStr
the carrier of ADG is V11() set
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
ADG is non empty addLoopStr
(ADG) is strict AffinStruct
the carrier of ADG is V11() set
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
(ADG) is non empty strict AffinStruct
the carrier of ADG is V11() set
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
the carrier of (ADG) is V11() set
A is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
(A) is non empty strict AffinStruct
the carrier of A is V11() set
(A) is V1() V4([: the carrier of A, the carrier of A:]) V5([: the carrier of A, the carrier of A:]) Element of bool [:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:]
[: the carrier of A, the carrier of A:] is set
[:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:] is set
bool [:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:] is set
AffinStruct(# the carrier of A,(A) #) is strict AffinStruct
the CONGR of (A) is V1() V4([: the carrier of (A), the carrier of (A):]) V5([: the carrier of (A), the carrier of (A):]) Element of bool [:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:]
the carrier of (A) is V11() set
[: the carrier of (A), the carrier of (A):] is set
[:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:] is set
bool [:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:] is set
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
a + b is Element of the carrier of ADG
c is Element of the carrier of ADG
A + c is Element of the carrier of ADG
(ADG) is non empty strict AffinStruct
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
the CONGR of (ADG) is V1() V4([: the carrier of (ADG), the carrier of (ADG):]) V5([: the carrier of (ADG), the carrier of (ADG):]) Element of bool [:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:]
the carrier of (ADG) is V11() set
[: the carrier of (ADG), the carrier of (ADG):] is set
[:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:] is set
bool [:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:] is set
[A,a] is set
[b,c] is set
[[A,a],[b,c]] is set
ADG is V21() V29() Element of the carrier of G_Real
A is V21() V29() Element of the carrier of G_Real
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
A + b is Element of the carrier of ADG
a + b is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
c is Element of the carrier of ADG
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
A + c is Element of the carrier of ADG
a + b is Element of the carrier of ADG
c + a9 is Element of the carrier of ADG
A + (c + a9) is Element of the carrier of ADG
a + b is Element of the carrier of ADG
(a + b) + a9 is Element of the carrier of ADG
b + a9 is Element of the carrier of ADG
a + (b + a9) is Element of the carrier of ADG
d + c is Element of the carrier of ADG
a + (d + c) is Element of the carrier of ADG
A + a9 is Element of the carrier of ADG
(A + a9) + c is Element of the carrier of ADG
a + d is Element of the carrier of ADG
(a + d) + c is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
- A is Element of the carrier of ADG
a + b is Element of the carrier of ADG
(- A) + (a + b) is Element of the carrier of ADG
A + ((- A) + (a + b)) is Element of the carrier of ADG
A + (- A) is Element of the carrier of ADG
(A + (- A)) + (a + b) is Element of the carrier of ADG
0. ADG is V51(ADG) Element of the carrier of ADG
the ZeroF of ADG is Element of the carrier of ADG
(0. ADG) + (a + b) is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
c is Element of the carrier of ADG
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
A + c is Element of the carrier of ADG
a + b is Element of the carrier of ADG
A + a9 is Element of the carrier of ADG
d + b is Element of the carrier of ADG
b + (A + a9) is Element of the carrier of ADG
a + (b + (A + a9)) is Element of the carrier of ADG
(d + b) + (A + c) is Element of the carrier of ADG
b + (A + c) is Element of the carrier of ADG
d + (b + (A + c)) is Element of the carrier of ADG
b + A is Element of the carrier of ADG
(b + A) + a9 is Element of the carrier of ADG
a + ((b + A) + a9) is Element of the carrier of ADG
(b + A) + c is Element of the carrier of ADG
d + ((b + A) + c) is Element of the carrier of ADG
a + a9 is Element of the carrier of ADG
(a + a9) + (b + A) is Element of the carrier of ADG
c + (b + A) is Element of the carrier of ADG
d + (c + (b + A)) is Element of the carrier of ADG
d + c is Element of the carrier of ADG
(d + c) + (b + A) is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
A + a is Element of the carrier of ADG
b is Element of the carrier of ADG
b + b is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
c is Element of the carrier of ADG
A + b is Element of the carrier of ADG
a + a is Element of the carrier of ADG
c + c is Element of the carrier of ADG
- c is Element of the carrier of ADG
a + (- c) is Element of the carrier of ADG
(a + (- c)) + a is Element of the carrier of ADG
(c + c) + (- c) is Element of the carrier of ADG
c + (- c) is Element of the carrier of ADG
c + (c + (- c)) is Element of the carrier of ADG
0. ADG is V51(ADG) Element of the carrier of ADG
the ZeroF of ADG is Element of the carrier of ADG
c + (0. ADG) is Element of the carrier of ADG
(a + (- c)) + (a + (- c)) is Element of the carrier of ADG
(0. ADG) + c is Element of the carrier of ADG
(a + (- c)) + c is Element of the carrier of ADG
(- c) + c is Element of the carrier of ADG
a + ((- c) + c) is Element of the carrier of ADG
a + (0. ADG) is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
b is Element of the carrier of ADG
c is Element of the carrier of ADG
A + c is Element of the carrier of ADG
a + b is Element of the carrier of ADG
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
(ADG) is non empty strict AffinStruct
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
the carrier of (ADG) is V11() set
a is Element of the carrier of ADG
b is Element of the carrier of ADG
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
[a9,b9] is set
[c9,d9] is set
[[a9,b9],[c9,d9]] is set
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
q9 is Element of the carrier of ADG
r9 is Element of the carrier of ADG
r is Element of the carrier of ADG
p9 is Element of the carrier of ADG
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
d9 is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
p9 is Element of the carrier of ADG
q9 is Element of the carrier of ADG
r is Element of the carrier of ADG
r9 is Element of the carrier of ADG
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of ADG
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
b9 is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of ADG
b9 is Element of the carrier of ADG
c9 is Element of the carrier of ADG
d9 is Element of the carrier of ADG
ADG is V21() V29() Element of the carrier of G_Real
A is V21() V29() Element of the carrier of G_Real
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
(ADG) is non empty strict AffinStruct
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
the carrier of (ADG) is V11() set
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c9 is Element of the carrier of (ADG)
d9 is Element of the carrier of ADG
r is Element of the carrier of ADG
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c9 is Element of the carrier of (ADG)
d9 is Element of the carrier of (ADG)
r is Element of the carrier of ADG
p9 is Element of the carrier of ADG
A is Element of the carrier of ADG
a is Element of the carrier of ADG
ADG is non empty AffinStruct
the carrier of ADG is V11() set
b is non empty AffinStruct
the carrier of b is V11() set
A is Element of the carrier of ADG
a is Element of the carrier of ADG
c is Element of the carrier of b
d is Element of the carrier of b
a9 is Element of the carrier of b
b9 is Element of the carrier of b
c9 is Element of the carrier of b
p9 is Element of the carrier of b
q9 is Element of the carrier of b
d9 is Element of the carrier of b
r is Element of the carrier of b
r9 is Element of the carrier of b
c15 is Element of the carrier of b
c16 is Element of the carrier of b
c17 is Element of the carrier of b
c18 is Element of the carrier of b
c20 is Element of the carrier of b
c21 is Element of the carrier of b
c19 is Element of the carrier of b
c22 is Element of the carrier of b
c23 is Element of the carrier of b
c24 is Element of the carrier of b
c25 is Element of the carrier of b
c26 is Element of the carrier of b
c27 is Element of the carrier of b
c28 is Element of the carrier of b
c29 is Element of the carrier of b
c30 is Element of the carrier of b
c31 is Element of the carrier of b
c32 is Element of the carrier of b
ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr
the carrier of ADG is V11() set
(ADG) is non empty strict AffinStruct
(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]
[: the carrier of ADG, the carrier of ADG:] is set
[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set
AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct
the carrier of (ADG) is V11() set
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c9 is Element of the carrier of (ADG)
d9 is Element of the carrier of ADG
r is Element of the carrier of ADG
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
d is Element of the carrier of ADG
a9 is Element of the carrier of ADG
A is Element of the carrier of (ADG)
a is Element of the carrier of (ADG)
d is Element of the carrier of (ADG)
a9 is Element of the carrier of (ADG)
b is Element of the carrier of (ADG)
c is Element of the carrier of (ADG)
b9 is Element of the carrier of (ADG)
c9 is Element of the carrier of (ADG)
d9 is Element of the carrier of (ADG)
r is Element of the carrier of ADG
p9 is Element of the carrier of ADG
A is Element of the carrier of ADG
a is Element of the carrier of ADG