leftker (LQForm f) = {(0. (VectQuot V,(LKer f)))} by BILINEAR:def 24;
then leftker (RQ*Form (LQForm f)) = {(0. (VectQuot V,(LKer f)))} by Th63;
hence ( not RQ*Form (LQForm f) is degenerated-on-left & not RQ*Form (LQForm f) is degenerated-on-right ) by BILINEAR:def 24; :: thesis: verum