reconsider
S
=
{
(
0.
V
)
}
as
Subset
of
V
;
take
S
;
:: thesis:
S
is
linearly-dependent
thus
S
is
linearly-dependent
;
:: thesis:
verum