g * f is linear-transformation of V,W ;
hence f (#) g is linear-transformation of V,W ; :: thesis: verum