Proposition 2.8.
Assuming that:
A
has the
column property
Then
there exists
m
,
p
,
c
such that any
(
m
,
p
,
c
)
-set
contains a solution to
A
y
=
0
.