K75() is M2(K24(K71()))
K71() is set
K24(K71()) is set
K70() is set
K24(K70()) is set
K24(K75()) is set
K19() is set
1 is set
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
A9 is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
Line (b,A) is M2(K24( the U1 of AP))
Line (c,b9) is M2(K24( the U1 of AP))
P9 is M2(K24( the U1 of AP))
C9 is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
A9 is M2( the U1 of AP)
Line (b,A9) is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
A9 is M2( the U1 of AP)
Line (c,b9) is M2(K24( the U1 of AP))
Line (A,A9) is M2(K24( the U1 of AP))
C9 is M2(K24( the U1 of AP))
C is M2( the U1 of AP)
Line (A9,C) is M2(K24( the U1 of AP))
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2( the U1 of AP)
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2(K24( the U1 of AP))
Line (N,b) is M2(K24( the U1 of AP))
Line (N,a) is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2( the U1 of AP)
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (N,a) is M2(K24( the U1 of AP))
Line (N,b) is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
Line (b9,c9) is M2(K24( the U1 of AP))
C9 is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2( the U1 of AP)
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (N,a) is M2(K24( the U1 of AP))
Line (N,b) is M2(K24( the U1 of AP))
Line (b,c) is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
C9 is M2(K24( the U1 of AP))
C is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2( the U1 of AP)
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (N,a) is M2(K24( the U1 of AP))
Line (N,b) is M2(K24( the U1 of AP))
Line (b,c) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))
C9 is M2(K24( the U1 of AP))
C is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
A9 is M2(K24( the U1 of AP))
P is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
Line (b,a9) is M2(K24( the U1 of AP))
Line (c9,A) is M2(K24( the U1 of AP))
P9 is M2(K24( the U1 of AP))
C9 is M2( the U1 of AP)
Line (C9,A) is M2(K24( the U1 of AP))
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (c,b9) is M2(K24( the U1 of AP))
A9 is M2(K24( the U1 of AP))
P is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (c,a9) is M2(K24( the U1 of AP))
Line (b,c9) is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (a,c9) is M2(K24( the U1 of AP))
Line (c,b9) is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
Line (P9,b) is M2(K24( the U1 of AP))
C is M2( the U1 of AP)
s is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
A9 is M2( the U1 of AP)
Line (A,A9) is M2(K24( the U1 of AP))
Line (c9,A) is M2(K24( the U1 of AP))
Line (c9,A9) is M2(K24( the U1 of AP))
Line (a9,b9) is M2(K24( the U1 of AP))
Line (c,a9) is M2(K24( the U1 of AP))
Line (c,b9) is M2(K24( the U1 of AP))
p is M2(K24( the U1 of AP))
R is M2( the U1 of AP)
Line (c9,R) is M2(K24( the U1 of AP))
T is M2(K24( the U1 of AP))
q is M2( the U1 of AP)
r is M2( the U1 of AP)
C is M2(K24( the U1 of AP))
s is M2( the U1 of AP)
M is M2(K24( the U1 of AP))
p is M2( the U1 of AP)
Line (c,s) is M2(K24( the U1 of AP))
r is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2( the U1 of AP)
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (N,a) is M2(K24( the U1 of AP))
Line (N,b) is M2(K24( the U1 of AP))
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2(K24( the U1 of AP))
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
A is M2( the U1 of AP)
Line (b,c) is M2(K24( the U1 of AP))
Line (b9,c9) is M2(K24( the U1 of AP))
P9 is M2( the U1 of AP)
C9 is M2(K24( the U1 of AP))
C is M2( the U1 of AP)
s is M2( the U1 of AP)
M is M2(K24( the U1 of AP))
p is M2( the U1 of AP)
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
M is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
b is M2( the U1 of AP)
c is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c9 is M2( the U1 of AP)
Line (a,b9) is M2(K24( the U1 of AP))
Line (b,a9) is M2(K24( the U1 of AP))
Line (b,c9) is M2(K24( the U1 of AP))
Line (c,b9) is M2(K24( the U1 of AP))
C9 is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
s is M2( the U1 of AP)