W1 /\ W2 is Subspace of W1 by ZMODUL01:105;
hence W1 /\ W2 is free ; :: thesis: verum