assume rank V is zero ; :: thesis: contradiction
then (Omega). V = (0). V by ZMODUL05:1;
hence contradiction ; :: thesis: verum