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