K104() is Element of bool K100()
K100() is set
bool K100() is set
K99() is set
bool K99() is set
bool K104() is set
{} is set
1 is non empty set
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
bool the carrier of CPS is set
CPS9 is LINE of CPS
X is Element of the carrier of CPS
L is Element of the carrier of CPS
Line (X,L) is set
P is set
{ b1 where b1 is Element of the carrier of CPS : X,L,b1 is_collinear } is set
b1 is Element of the carrier of CPS
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
CPS is non empty V116() V117() proper CollStr
(CPS) is set
the carrier of CPS is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
the (CPS) is (CPS)
CPS is non empty V116() V117() proper CollStr
(CPS) is non empty set
the carrier of CPS is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
CPS9 is set
X is Element of bool the carrier of CPS
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
CPS9 is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
CPS9 is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
X is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
L is set
P is set
[L,P] is set
b1 is set
b1 is set
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
CPS is non empty V116() V117() proper CollStr
(CPS) is IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
CPS9 is non empty V116() V117() proper CollStr
(CPS9) is strict IncProjStr
the carrier of CPS9 is non empty set
(CPS9) is non empty set
bool the carrier of CPS9 is set
{ b1 where b1 is Element of bool the carrier of CPS9 : b1 is (CPS9) } is set
(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]
[: the carrier of CPS9,(CPS9):] is set
bool [: the carrier of CPS9,(CPS9):] is set
IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr
the Lines of (CPS9) is non empty set
X is non empty V116() V117() proper CollStr
(X) is strict IncProjStr
the carrier of X is non empty set
(X) is non empty set
bool the carrier of X is set
{ b1 where b1 is Element of bool the carrier of X : b1 is (X) } is set
(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]
[: the carrier of X,(X):] is set
bool [: the carrier of X,(X):] is set
IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr
the Inc of (X) is V7() V10( the Points of (X)) V11( the Lines of (X)) Element of bool [: the Points of (X), the Lines of (X):]
the Points of (X) is non empty set
the Lines of (X) is non empty set
[: the Points of (X), the Lines of (X):] is set
bool [: the Points of (X), the Lines of (X):] is set
CPS9 is set
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
L is set
X is non empty V116() V117() proper CollStr
(X) is strict IncProjStr
the carrier of X is non empty set
(X) is non empty set
bool the carrier of X is set
{ b1 where b1 is Element of bool the carrier of X : b1 is (X) } is set
(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]
[: the carrier of X,(X):] is set
bool [: the carrier of X,(X):] is set
IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr
the Points of (X) is non empty set
CPS9 is set
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Lines of (CPS) is non empty set
L is set
X is non empty V116() V117() proper CollStr
(X) is strict IncProjStr
the carrier of X is non empty set
(X) is non empty set
bool the carrier of X is set
{ b1 where b1 is Element of bool the carrier of X : b1 is (X) } is set
(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]
[: the carrier of X,(X):] is set
bool [: the carrier of X,(X):] is set
IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr
the Lines of (X) is non empty set
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Lines of (CPS)
L is Element of the carrier of CPS
P is (CPS)
b1 is Element of the Lines of (CPS)
[L,P] is set
b3 is set
b2 is Element of (CPS)
[L,b2] is Element of [: the carrier of CPS,(CPS):]
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
CPS9 is Element of the carrier of CPS
X is Element of the carrier of CPS
L is Element of the carrier of CPS
CPS is non empty V116() V117() proper CollStr
the carrier of CPS is non empty set
CPS9 is Element of the carrier of CPS
X is Element of the carrier of CPS
L is Element of the carrier of CPS
P is Element of the carrier of CPS
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Lines of (CPS)
P is Element of the Lines of (CPS)
b1 is Element of the carrier of CPS
c1 is (CPS)
b2 is Element of the carrier of CPS
b3 is (CPS)
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the carrier of CPS
b1 is Element of the carrier of CPS
b2 is (CPS)
P is Element of the carrier of CPS
b3 is Element of the Lines of (CPS)
b1 is (CPS)
b2 is Element of the Lines of (CPS)
b1 is Element of the Lines of (CPS)
b2 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Points of (CPS)
P is Element of the carrier of CPS
b1 is Element of the carrier of CPS
b2 is Element of the carrier of CPS
Line (P,b1) is set
c1 is (CPS)
c2 is Element of the Lines of (CPS)
b3 is Element of the Lines of (CPS)
b3 is Element of the Lines of (CPS)
c1 is Element of the Lines of (CPS)
b3 is Element of the Lines of (CPS)
c1 is (CPS)
CPS is non empty V116() V117() proper CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the carrier of CPS
X is Element of the carrier of CPS
L is Element of the carrier of CPS
Line (CPS9,X) is set
b1 is (CPS)
b3 is Element of the Points of (CPS)
b2 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Lines of (CPS) is non empty set
the Points of (CPS) is non empty set
CPS9 is Element of the Lines of (CPS)
X is (CPS)
L is Element of the carrier of CPS
P is Element of the carrier of CPS
Line (L,P) is set
b1 is Element of the carrier of CPS
b2 is Element of the Points of (CPS)
b3 is Element of the Points of (CPS)
c1 is Element of the Points of (CPS)
c2 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Points of (CPS)
P is Element of the Points of (CPS)
b1 is Element of the Points of (CPS)
b2 is Element of the Lines of (CPS)
b3 is Element of the Lines of (CPS)
c1 is Element of the Lines of (CPS)
c2 is Element of the Lines of (CPS)
A1 is Element of the carrier of CPS
B1 is Element of the carrier of CPS
c3 is Element of the carrier of CPS
A3 is Element of the carrier of CPS
A2 is Element of the carrier of CPS
B2 is Element of the carrier of CPS
B3 is Element of the Points of (CPS)
C1 is Element of the Lines of (CPS)
C1 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Lines of (CPS) is non empty set
the Points of (CPS) is non empty set
CPS9 is Element of the Lines of (CPS)
X is Element of the Lines of (CPS)
L is (CPS)
b1 is Element of the carrier of CPS
b2 is Element of the carrier of CPS
Line (b1,b2) is set
P is (CPS)
b3 is Element of the carrier of CPS
c1 is Element of the carrier of CPS
Line (b3,c1) is set
c2 is Element of the carrier of CPS
c3 is Element of the Points of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Lines of (CPS) is non empty set
the Points of (CPS) is non empty set
CPS9 is Element of the carrier of CPS
X is Element of the carrier of CPS
L is Element of the carrier of CPS
P is Element of the carrier of CPS
Line (CPS9,X) is set
Line (L,P) is set
b3 is (CPS)
c1 is (CPS)
c2 is Element of the Lines of (CPS)
c3 is Element of the Lines of (CPS)
A1 is Element of the Points of (CPS)
A1 is Element of the Points of (CPS)
A2 is Element of the carrier of CPS
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Lines of (CPS)
L is Element of the Lines of (CPS)
P is (CPS)
b3 is Element of the carrier of CPS
c1 is Element of the carrier of CPS
Line (b3,c1) is set
b1 is (CPS)
c2 is Element of the carrier of CPS
c3 is Element of the carrier of CPS
Line (c2,c3) is set
b2 is Element of the carrier of CPS
A1 is Element of the carrier of CPS
A2 is Element of the carrier of CPS
A3 is Element of the Points of (CPS)
B1 is Element of the Points of (CPS)
B2 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
X is Element of the Points of (CPS)
L is Element of the Points of (CPS)
CPS9 is Element of the Points of (CPS)
P is Element of the Points of (CPS)
b1 is Element of the Points of (CPS)
{b1,CPS9,P} is Element of bool the Points of (CPS)
bool the Points of (CPS) is set
{b1,X,L} is Element of bool the Points of (CPS)
b2 is Element of the Points of (CPS)
{b2,X,P} is Element of bool the Points of (CPS)
{b2,CPS9,L} is Element of bool the Points of (CPS)
b3 is Element of the Points of (CPS)
{b3,CPS9,X} is Element of bool the Points of (CPS)
{b3,L,P} is Element of bool the Points of (CPS)
{b1,b2} is Element of bool the Points of (CPS)
c1 is Element of the Lines of (CPS)
c2 is Element of the Lines of (CPS)
c3 is Element of the Lines of (CPS)
A1 is Element of the Lines of (CPS)
A2 is Element of the Lines of (CPS)
A3 is Element of the Lines of (CPS)
B1 is Element of the Lines of (CPS)
B2 is Element of the carrier of CPS
C1 is Element of the carrier of CPS
C2 is Element of the carrier of CPS
a29 is Element of the Lines of (CPS)
a29 is Element of the Lines of (CPS)
B3 is Element of the carrier of CPS
a29 is Element of the Lines of (CPS)
a29 is Element of the Lines of (CPS)
C3 is Element of the carrier of CPS
o9 is Element of the carrier of CPS
a19 is Element of the carrier of CPS
a29 is Element of the Lines of (CPS)
a29 is Element of the Lines of (CPS)
a29 is Element of the Lines of (CPS)
a29 is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Points of (CPS)
{CPS9,X,L} is Element of bool the Points of (CPS)
bool the Points of (CPS) is set
b1 is Element of the Points of (CPS)
P is Element of the Points of (CPS)
{CPS9,b1,P} is Element of bool the Points of (CPS)
b3 is Element of the Points of (CPS)
b2 is Element of the Points of (CPS)
{CPS9,b3,b2} is Element of bool the Points of (CPS)
c3 is Element of the Points of (CPS)
{b3,b1,c3} is Element of bool the Points of (CPS)
c1 is Element of the Points of (CPS)
{b3,c1,L} is Element of bool the Points of (CPS)
c2 is Element of the Points of (CPS)
{b1,c2,L} is Element of bool the Points of (CPS)
{c3,P,b2} is Element of bool the Points of (CPS)
{X,c1,b2} is Element of bool the Points of (CPS)
{X,c2,P} is Element of bool the Points of (CPS)
{c1,c2,c3} is Element of bool the Points of (CPS)
A1 is Element of the Lines of (CPS)
A2 is Element of the Lines of (CPS)
A3 is Element of the Lines of (CPS)
B1 is Element of the Lines of (CPS)
B2 is Element of the Lines of (CPS)
B3 is Element of the Lines of (CPS)
C1 is Element of the Lines of (CPS)
C2 is Element of the Lines of (CPS)
C3 is Element of the Lines of (CPS)
a19 is Element of the carrier of CPS
a39 is Element of the carrier of CPS
c29 is Element of the carrier of CPS
b29 is Element of the carrier of CPS
c19 is Element of the carrier of CPS
c39 is Element of the carrier of CPS
a29 is Element of the carrier of CPS
b19 is Element of the carrier of CPS
o9 is Element of the carrier of CPS
b39 is Element of the carrier of CPS
K is Element of the Lines of (CPS)
K is Element of the Lines of (CPS)
K is Element of the Lines of (CPS)
K is Element of the Lines of (CPS)
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
the carrier of CPS is non empty set
(CPS) is strict IncProjStr
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
CPS9 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Points of (CPS)
P is Element of the Points of (CPS)
b1 is Element of the Points of (CPS)
b2 is Element of the Points of (CPS)
b3 is Element of the Points of (CPS)
c1 is Element of the Points of (CPS)
{L,b3,c1} is Element of bool the Points of (CPS)
bool the Points of (CPS) is set
c2 is Element of the Points of (CPS)
{P,b1,c2} is Element of bool the Points of (CPS)
c3 is Element of the Points of (CPS)
{X,b2,c3} is Element of bool the Points of (CPS)
{X,b3,c2} is Element of bool the Points of (CPS)
{P,b2,c1} is Element of bool the Points of (CPS)
{L,b1,c3} is Element of bool the Points of (CPS)
{b1,b2,b3} is Element of bool the Points of (CPS)
{X,L,P} is Element of bool the Points of (CPS)
{c1,c2} is Element of bool the Points of (CPS)
A3 is Element of the Lines of (CPS)
B3 is Element of the Lines of (CPS)
A1 is Element of the Lines of (CPS)
B1 is Element of the Lines of (CPS)
C1 is Element of the Lines of (CPS)
A2 is Element of the Lines of (CPS)
B2 is Element of the Lines of (CPS)
C2 is Element of the Lines of (CPS)
C3 is Element of the Lines of (CPS)
a19 is Element of the carrier of CPS
b29 is Element of the carrier of CPS
c39 is Element of the carrier of CPS
o9 is Element of the carrier of CPS
b39 is Element of the carrier of CPS
a29 is Element of the carrier of CPS
a39 is Element of the carrier of CPS
c29 is Element of the carrier of CPS
b19 is Element of the carrier of CPS
K is Element of the Lines of (CPS)
c19 is Element of the carrier of CPS
K is Element of the Lines of (CPS)
CPS is IncProjStr
the Points of CPS is non empty set
the Lines of CPS is non empty set
CPS9 is Element of the Points of CPS
X is Element of the Points of CPS
{CPS9,X} is Element of bool the Points of CPS
bool the Points of CPS is set
L is Element of the Lines of CPS
P is Element of the Lines of CPS
CPS9 is Element of the Points of CPS
X is Element of the Points of CPS
{CPS9,X} is Element of bool the Points of CPS
L is Element of the Lines of CPS
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS) is strict IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the Points of (CPS) is non empty set
the Lines of (CPS) is non empty set
X is Element of the Points of (CPS)
c1 is Element of the Lines of (CPS)
L is Element of the Points of (CPS)
P is Element of the Points of (CPS)
c2 is Element of the Lines of (CPS)
b1 is Element of the Points of (CPS)
b2 is Element of the Points of (CPS)
c3 is Element of the Lines of (CPS)
A1 is Element of the Lines of (CPS)
X is Element of the Lines of (CPS)
X is Element of the Points of (CPS)
P is Element of the Lines of (CPS)
L is Element of the Points of (CPS)
b1 is Element of the Lines of (CPS)
b2 is Element of the Points of (CPS)
b3 is Element of the Points of (CPS)
X is Element of the Points of (CPS)
L is Element of the Lines of (CPS)
the non empty V116() V117() proper Vebleian at_least_3rank CollStr is non empty V116() V117() proper Vebleian at_least_3rank CollStr
( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is strict linear () () () () IncProjStr
the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr is non empty set
( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is non empty set
bool the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr is set
{ b1 where b1 is Element of bool the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr : b1 is ( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) } is set
( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is V7() V10( the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) V11(( the non empty V116() V117() proper Vebleian at_least_3rank CollStr )) Element of bool [: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):]
[: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):] is set
bool [: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):] is set
IncProjStr(# the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ),( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) #) is strict IncProjStr
CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS) is strict linear () () () () IncProjStr
the carrier of CPS is non empty set
(CPS) is non empty set
bool the carrier of CPS is set
{ b1 where b1 is Element of bool the carrier of CPS : b1 is (CPS) } is set
(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]
[: the carrier of CPS,(CPS):] is set
bool [: the carrier of CPS,(CPS):] is set
IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr
the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian non 2-dimensional at_most-3-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian non 2-dimensional at_most-3-dimensional CollStr
CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS9) is strict linear () () () () IncProjStr
the carrier of CPS9 is non empty set
(CPS9) is non empty set
bool the carrier of CPS9 is set
{ b1 where b1 is Element of bool the carrier of CPS9 : b1 is (CPS9) } is set
(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]
[: the carrier of CPS9,(CPS9):] is set
bool [: the carrier of CPS9,(CPS9):] is set
IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr
X is strict linear () () () () IncProjStr
L is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
A2 is Element of the carrier of CPS9
c3 is Element of the carrier of CPS9
A1 is Element of the carrier of CPS9
the Points of X is non empty set
the Lines of X is non empty set
L is Element of the Points of X
P is Element of the Points of X
b1 is Element of the Points of X
{L,P,b1} is Element of bool the Points of X
bool the Points of X is set
A3 is Element of the Lines of X
b3 is Element of the Points of X
b2 is Element of the Points of X
{L,b3,b2} is Element of bool the Points of X
B1 is Element of the Lines of X
c2 is Element of the Points of X
c1 is Element of the Points of X
{L,c2,c1} is Element of bool the Points of X
B2 is Element of the Lines of X
A2 is Element of the Points of X
{c2,b3,A2} is Element of bool the Points of X
B3 is Element of the Lines of X
c3 is Element of the Points of X
{c2,c3,b1} is Element of bool the Points of X
C1 is Element of the Lines of X
A1 is Element of the Points of X
{b3,A1,b1} is Element of bool the Points of X
C2 is Element of the Lines of X
{A2,b2,c1} is Element of bool the Points of X
C3 is Element of the Lines of X
{P,c3,c1} is Element of bool the Points of X
o9 is Element of the Lines of X
{P,A1,b2} is Element of bool the Points of X
a19 is Element of the Lines of X
{c3,A1,A2} is Element of bool the Points of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
L is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
L is Element of the Points of X
P is Element of the Lines of X
b1 is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
P is Element of the Points of X
c3 is Element of the Lines of X
b1 is Element of the Points of X
L is Element of the Points of X
A1 is Element of the Lines of X
b2 is Element of the Points of X
A2 is Element of the Lines of X
A3 is Element of the Lines of X
b3 is Element of the Points of X
{b3,L,b2} is Element of bool the Points of X
bool the Points of X is set
{b3,P,b1} is Element of bool the Points of X
c1 is Element of the Points of X
{c1,P,b2} is Element of bool the Points of X
{c1,L,b1} is Element of bool the Points of X
c2 is Element of the Points of X
{c2,L,P} is Element of bool the Points of X
B1 is Element of the Lines of X
{c2,b1,b2} is Element of bool the Points of X
B2 is Element of the Lines of X
{b3,c1} is Element of bool the Points of X
B3 is Element of the Lines of X
L is Element of the Lines of X
P is Element of the Lines of X
the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian non 2-dimensional at_most-3-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian non 2-dimensional at_most-3-dimensional CollStr
CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS9) is strict linear () () () () IncProjStr
the carrier of CPS9 is non empty set
(CPS9) is non empty set
bool the carrier of CPS9 is set
{ b1 where b1 is Element of bool the carrier of CPS9 : b1 is (CPS9) } is set
(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]
[: the carrier of CPS9,(CPS9):] is set
bool [: the carrier of CPS9,(CPS9):] is set
IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr
X is strict linear () () () () IncProjStr
L is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
A2 is Element of the carrier of CPS9
A1 is Element of the carrier of CPS9
c3 is Element of the carrier of CPS9
the Points of X is non empty set
the Lines of X is non empty set
L is Element of the Points of X
P is Element of the Points of X
b1 is Element of the Points of X
b2 is Element of the Points of X
b3 is Element of the Points of X
c1 is Element of the Points of X
c2 is Element of the Points of X
B2 is Element of the Lines of X
C2 is Element of the Lines of X
c3 is Element of the Points of X
{b1,c2,c3} is Element of bool the Points of X
bool the Points of X is set
A3 is Element of the Lines of X
A1 is Element of the Points of X
{b2,b3,A1} is Element of bool the Points of X
B3 is Element of the Lines of X
A2 is Element of the Points of X
{P,c1,A2} is Element of bool the Points of X
C3 is Element of the Lines of X
{P,c2,A1} is Element of bool the Points of X
B1 is Element of the Lines of X
{b2,c1,c3} is Element of bool the Points of X
C1 is Element of the Lines of X
{b1,b3,A2} is Element of bool the Points of X
o9 is Element of the Lines of X
{b3,c1,c2} is Element of bool the Points of X
{P,b1,b2} is Element of bool the Points of X
{c3,A1} is Element of bool the Points of X
a19 is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
L is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
L is Element of the Points of X
P is Element of the Lines of X
b1 is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
P is Element of the Points of X
c3 is Element of the Lines of X
b1 is Element of the Points of X
L is Element of the Points of X
A1 is Element of the Lines of X
b2 is Element of the Points of X
A2 is Element of the Lines of X
A3 is Element of the Lines of X
b3 is Element of the Points of X
{b3,L,b2} is Element of bool the Points of X
bool the Points of X is set
{b3,P,b1} is Element of bool the Points of X
c1 is Element of the Points of X
{c1,P,b2} is Element of bool the Points of X
{c1,L,b1} is Element of bool the Points of X
c2 is Element of the Points of X
{c2,L,P} is Element of bool the Points of X
B1 is Element of the Lines of X
{c2,b1,b2} is Element of bool the Points of X
B2 is Element of the Lines of X
{b3,c1} is Element of bool the Points of X
B3 is Element of the Lines of X
L is Element of the Lines of X
P is Element of the Lines of X
the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian 2-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian 2-dimensional CollStr
CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS9) is strict linear () () () () IncProjStr
the carrier of CPS9 is non empty set
(CPS9) is non empty set
bool the carrier of CPS9 is set
{ b1 where b1 is Element of bool the carrier of CPS9 : b1 is (CPS9) } is set
(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]
[: the carrier of CPS9,(CPS9):] is set
bool [: the carrier of CPS9,(CPS9):] is set
IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr
X is strict linear () () () () IncProjStr
L is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
A2 is Element of the carrier of CPS9
c3 is Element of the carrier of CPS9
A1 is Element of the carrier of CPS9
the Points of X is non empty set
the Lines of X is non empty set
L is Element of the Points of X
P is Element of the Points of X
b1 is Element of the Points of X
{L,P,b1} is Element of bool the Points of X
bool the Points of X is set
A3 is Element of the Lines of X
b3 is Element of the Points of X
b2 is Element of the Points of X
{L,b3,b2} is Element of bool the Points of X
B1 is Element of the Lines of X
c2 is Element of the Points of X
c1 is Element of the Points of X
{L,c2,c1} is Element of bool the Points of X
B2 is Element of the Lines of X
A2 is Element of the Points of X
{c2,b3,A2} is Element of bool the Points of X
B3 is Element of the Lines of X
c3 is Element of the Points of X
{c2,c3,b1} is Element of bool the Points of X
C1 is Element of the Lines of X
A1 is Element of the Points of X
{b3,A1,b1} is Element of bool the Points of X
C2 is Element of the Lines of X
{A2,b2,c1} is Element of bool the Points of X
C3 is Element of the Lines of X
{P,c3,c1} is Element of bool the Points of X
o9 is Element of the Lines of X
{P,A1,b2} is Element of bool the Points of X
a19 is Element of the Lines of X
{c3,A1,A2} is Element of bool the Points of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
L is Element of the Lines of X
P is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
P is Element of the Points of X
c3 is Element of the Lines of X
b1 is Element of the Points of X
L is Element of the Points of X
A1 is Element of the Lines of X
b2 is Element of the Points of X
A2 is Element of the Lines of X
A3 is Element of the Lines of X
b3 is Element of the Points of X
{b3,L,b2} is Element of bool the Points of X
bool the Points of X is set
{b3,P,b1} is Element of bool the Points of X
c1 is Element of the Points of X
{c1,P,b2} is Element of bool the Points of X
{c1,L,b1} is Element of bool the Points of X
c2 is Element of the Points of X
{c2,L,P} is Element of bool the Points of X
B1 is Element of the Lines of X
{c2,b1,b2} is Element of bool the Points of X
B2 is Element of the Lines of X
{b3,c1} is Element of bool the Points of X
B3 is Element of the Lines of X
the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian 2-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian 2-dimensional CollStr
CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr
(CPS9) is strict linear () () () () IncProjStr
the carrier of CPS9 is non empty set
(CPS9) is non empty set
bool the carrier of CPS9 is set
{ b1 where b1 is Element of bool the carrier of CPS9 : b1 is (CPS9) } is set
(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]
[: the carrier of CPS9,(CPS9):] is set
bool [: the carrier of CPS9,(CPS9):] is set
IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr
X is strict linear () () () () IncProjStr
L is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
P is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
A2 is Element of the carrier of CPS9
A1 is Element of the carrier of CPS9
c3 is Element of the carrier of CPS9
the Points of X is non empty set
the Lines of X is non empty set
L is Element of the Points of X
P is Element of the Points of X
b1 is Element of the Points of X
b2 is Element of the Points of X
b3 is Element of the Points of X
c1 is Element of the Points of X
c2 is Element of the Points of X
B2 is Element of the Lines of X
C2 is Element of the Lines of X
c3 is Element of the Points of X
{b1,c2,c3} is Element of bool the Points of X
bool the Points of X is set
A3 is Element of the Lines of X
A1 is Element of the Points of X
{b2,b3,A1} is Element of bool the Points of X
B3 is Element of the Lines of X
A2 is Element of the Points of X
{P,c1,A2} is Element of bool the Points of X
C3 is Element of the Lines of X
{P,c2,A1} is Element of bool the Points of X
B1 is Element of the Lines of X
{b2,c1,c3} is Element of bool the Points of X
C1 is Element of the Lines of X
{b1,b3,A2} is Element of bool the Points of X
o9 is Element of the Lines of X
{b3,c1,c2} is Element of bool the Points of X
{P,b1,b2} is Element of bool the Points of X
{c3,A1} is Element of bool the Points of X
a19 is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
L is Element of the Lines of X
P is Element of the Lines of X
L is Element of the carrier of CPS9
P is Element of the carrier of CPS9
b1 is Element of the carrier of CPS9
b2 is Element of the carrier of CPS9
b3 is Element of the carrier of CPS9
c1 is Element of the carrier of CPS9
c2 is Element of the carrier of CPS9
P is Element of the Points of X
c3 is Element of the Lines of X
b1 is Element of the Points of X
L is Element of the Points of X
A1 is Element of the Lines of X
b2 is Element of the Points of X
A2 is Element of the Lines of X
A3 is Element of the Lines of X
b3 is Element of the Points of X
{b3,L,b2} is Element of bool the Points of X
bool the Points of X is set
{b3,P,b1} is Element of bool the Points of X
c1 is Element of the Points of X
{c1,P,b2} is Element of bool the Points of X
{c1,L,b1} is Element of bool the Points of X
c2 is Element of the Points of X
{c2,L,P} is Element of bool the Points of X
B1 is Element of the Lines of X
{c2,b1,b2} is Element of bool the Points of X
B2 is Element of the Lines of X
{b3,c1} is Element of bool the Points of X
B3 is Element of the Lines of X