rightker (RQ*Form f) = {(0. (VectQuot W,(RKer (f *' ))))} by BILINEAR:def 25;
then rightker (LQForm (RQ*Form f)) = {(0. (VectQuot W,(RKer (f *' ))))} by BILINEAR:45;
hence ( not LQForm (RQ*Form f) is degenerated-on-left & not LQForm (RQ*Form f) is degenerated-on-right ) by BILINEAR:def 25; :: thesis: verum