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
SAS is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
o is M2( the U1 of SAS)
a is M2( the U1 of SAS)
p is M2( the U1 of SAS)
b is M2( the U1 of SAS)
c is M2( the U1 of SAS)
d is M2( the U1 of SAS)
K24( the U1 of SAS) is set
A is M2(K24( the U1 of SAS))
C is M2(K24( the U1 of SAS))
P is M2( the U1 of SAS)
SAS is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
o is M2( the U1 of SAS)
a is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
A is M2( the U1 of SAS)
K24( the U1 of SAS) is set
C is M2(K24( the U1 of SAS))
P is M2(K24( the U1 of SAS))
C is M2(K24( the U1 of SAS))
SAS is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
o is M2( the U1 of SAS)
a is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
Line (o,a) is M2(K24( the U1 of SAS))
K24( the U1 of SAS) is set
C is M2(K24( the U1 of SAS))
P is M2(K24( the U1 of SAS))
the V41() V46() AffinSpace-like 2-dimensional Pappian Desarguesian translational Fanoian AffinStruct is V41() V46() AffinSpace-like 2-dimensional Pappian Desarguesian translational Fanoian AffinStruct
o is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of o is V4() V5() set
a is M2( the U1 of o)
p is M2( the U1 of o)
c is M2( the U1 of o)
A is M2( the U1 of o)
b is M2( the U1 of o)
d is M2( the U1 of o)
C is M2( the U1 of o)
P is M2( the U1 of o)
C is M2( the U1 of o)
c12 is M2( the U1 of o)
c14 is M2( the U1 of o)
c13 is M2( the U1 of o)
c15 is M2( the U1 of o)
c16 is M2( the U1 of o)
c17 is M2( the U1 of o)
c18 is M2( the U1 of o)
c19 is M2( the U1 of o)
c20 is M2( the U1 of o)
c21 is M2( the U1 of o)
c22 is M2( the U1 of o)
c23 is M2( the U1 of o)
c24 is M2( the U1 of o)
c25 is M2( the U1 of o)
SAS is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
o is M2( the U1 of SAS)
a is M2( the U1 of SAS)
p is M2( the U1 of SAS)
b is M2( the U1 of SAS)
c is M2( the U1 of SAS)
p is M2( the U1 of SAS)
p is M2( the U1 of SAS)
b is M2( the U1 of SAS)
c is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)